Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
Operational semantics for Petri net components
Theoretical Computer Science
Open Petri Nets: Non-deterministic Processes and Compositionality
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
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
Factorization properties of symbolic unfoldings of colored petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
| Hi-index | 5.23 |