Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility
Programming and Computing Software
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Petri Nets, Situations, and Automata
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Petri nets and resource bisimulation
Fundamenta Informaticae - Concurrency specification and programming
Duality in high level petri-nets: a basis to do diagnoses
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Reducing k-safe Petri nets to pomset-equivalent 1-safe Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Query nets: interacting workflow modules that ensure global termination
BPM'03 Proceedings of the 2003 international conference on Business process management
Nested Petri nets for adaptive process modeling
Pillars of computer science
Landscaping model for virtual environment
IWINAC'05 Proceedings of the First international work-conference on the Interplay Between Natural and Artificial Computation conference on Artificial Intelligence and Knowledge Engineering Applications: a bioinspired approach - Volume Part II
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Petri nets and resource bisimulation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Hi-index | 0.00 |