Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
High level petri nets analysis with helena
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
On negotiation as concurrency primitive
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |