CPN Tools 4 : multi-formalism and extensibility

M. Westergaard

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

31 Citations (Scopus)
1 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationApplication and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)
EditorsJ.M. Colom, J. Desel
Place of PublicationBerlin
PublisherSpringer
Pages400-409
ISBN (Print)978-3-642-38696-1
DOIs
Publication statusPublished - 2013
Event34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013), June 24-28, 2013, Milan, Italy - Milan, Italy
Duration: 24 Jun 201328 Jun 2013
http://www.mc3.disco.unimib.it/petrinets2013/

Publication series

NameLecture Notes in Computer Science
Volume7927
ISSN (Print)0302-9743

Conference

Conference34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013), June 24-28, 2013, Milan, Italy
Abbreviated titlePetri Nets 2013
CountryItaly
CityMilan
Period24/06/1328/06/13
Internet address

Fingerprint Dive into the research topics of 'CPN Tools 4 : multi-formalism and extensibility'. Together they form a unique fingerprint.

Cite this