Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
True Concurrency in Models of Asynchronous Circuit Behavior
Formal Methods in System Design
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
McMillan's Complete Prefix for Contextual Nets
Transactions on Petri Nets and Other Models of Concurrency I
Construction and SAT-based verification of contextual unfoldings
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
Efficient contextual unfolding
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Efficient unfolding of contextual Petri nets
Theoretical Computer Science
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets
Fundamenta Informaticae
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |