On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
General Morphisms of Petri Nets (Extended Abstract)
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
On Concurrent Realization of Reactive Systems and Their Morphisms
Unifying Petri Nets, Advances in Petri Nets
Modelling with hierarchical object Petri nets
Fundamenta Informaticae - Concurrency specification and programming
Modelling with Hierarchical Object Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Finite Completeness of Categories of Petri Nets
Fundamenta Informaticae
Hi-index | 0.00 |