TL;DR
This paper introduces a modular, efficient tool for analyzing labelled Petri nets and synthesizing transition systems into Petri nets, supporting flexible and extensible analysis and synthesis tasks.
Contribution
It presents a standalone tool with dedicated algorithms for Petri net analysis and transition system synthesis, emphasizing modularity, portability, and efficiency.
Findings
Supports analysis of labelled Petri nets
Enables synthesis of transition systems into Petri nets
Designed for modularity and extensibility
Abstract
This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets. It is implemented as a collection of independent, dedicated algorithms which have been designed to operate modularly, portably, extensibly, and efficiently.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
