A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Derivation of non-structural invariants of petri nets using abstract interpretation
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |