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 language | English |
|---|---|
| Title of host publication | Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings) |
| Editors | J.M. Colom, J. Desel |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 400-409 |
| ISBN (Print) | 978-3-642-38696-1 |
| DOIs | |
| Publication status | Published - 2013 |
| Event | 34th 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 2013 → 28 Jun 2013 http://www.mc3.disco.unimib.it/petrinets2013/ |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 7927 |
| ISSN (Print) | 0302-9743 |
Conference
| Conference | 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013), June 24-28, 2013, Milan, Italy |
|---|---|
| Abbreviated title | Petri Nets 2013 |
| Country/Territory | Italy |
| City | Milan |
| Period | 24/06/13 → 28/06/13 |
| Internet address |