Abstract
CPN Tools is an advanced tool for editing, simulating, and analyzing colored Petri nets. This paper discusses the fourth major release of the tool, which makes it simple to use the tool for ordinary Petri nets, including adding inhibitor and reset arcs, and PNML export. This version also supports declarative modeling using constraints, and adds an extension framework making it easy for third parties to extend CPN Tools using Java. © 2013 Springer-Verlag.
Cite
CITATION STYLE
Westergaard, M. (2013). CPN tools 4: Multi-formalism and extensibility. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7927 LNCS, pp. 400–409). https://doi.org/10.1007/978-3-642-38697-8_22
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
