PEP - More than a Petri Net Tool
Abstract elided by the publisher.
Related papers
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL CAV 2020
- A Description of Path Expressions by Petri Nets POPL 1975
- Approaching the Coverability Problem Continuously TACAS 2016
- Romeo: A Tool for Analyzing Time Petri Nets CAV 2005
- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets TACAS 2009
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS TACAS 2001