Efficient encoding schemes for symbolic analysis of petri nets
Proceedings of the conference on Design, automation and test in Europe
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
A Concurrent and Compositional Petri Net Semantics of Preemption
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
FM '09 Proceedings of the 2nd World Congress on Formal Methods
User interface prototyping based on UML scenarios and high-level Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Hi-index | 0.00 |