Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.00 |