Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
New characterization for live and reversible augmented marked graphs
Information Processing Letters
Cycle inclusion property of augmented marked graphs
Information Processing Letters
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
Information Processing Letters
Information Processing Letters
New characterization for live and reversible augmented marked graphs
Information Processing Letters
On the equivalence between liveness and deadlock-freeness in petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Experiences in model driven verification of behavior with UML
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
| Hi-index | 0.00 |