Skip to main content
SpringerLink
Log in

CPN Tools 4: Multi-formalism and Extensibility

  • Conference paper
Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7927))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W., Stahl, C., Westergaard, M.: Strategies for Modeling Complex Processes using Colored Petri Nets. Transactions on Petri Nets and Other Models of Concurrency (to appear, 2013)

    Google Scholar 

  2. CPN Tools webpage, http://cpntools.org

  3. Desel, J., Reisig, W.: Place/Transition Petri Nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 122–173. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  4. Gallasch, G., Kristensen, L.: A Communication Infrastructure for External Communication with Design/CPN. In: Proc. of Third CPN Workshop. DAIMI-PB, vol. 554, pp. 79–93 (2001)

    Google Scholar 

  5. GreatSPN webpage, http://gwww.di.unito.it/~greatspn/

  6. Jensen, K., Kristensen, L.: Coloured Petri Nets – Modelling and Validation of Concurrent Systems. Springer (2009)

    Google Scholar 

  7. Kindler, E.: The ePNK: An Extensible Petri Net Tool for PNML. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 318–327. Springer, Heidelberg (2011), gdx.doi.org/10.1007/978-3-642-21834-7_18

    Chapter  Google Scholar 

  8. Kristensen, L., Mechlenborg, P., Zhang, L., Mitchell, B., Gallasch, G.: Model-based Development of a Course of Action Scheduling Tool. STTT 10(1), 5–14 (2007)

    Article  Google Scholar 

  9. Lindstrøm, B., Wagenhals, L.: Operational Planning using Web-Based Interfaces to a Coloured Petri Net Simulator of Influence Nets. In: Proc. of FMADS. CRPIT, vol. 12, pp. 115–124 (2002)

    Google Scholar 

  10. Rasmussen, J., Singh, M.: Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User’s Manual, http://www.daimi.au.dk/designCPN

  11. The MARS Team: CPN-AMI webpage, http://www-src.lip6.fr/logiciels/mars/CPNAMI/

  12. Westergaard, M.: The BRITNeY Suite: A Platform for Experiments. In: Proc. of 7th CPN Workshop. DAIMI-PB, vol. 579, pp. 97–116 (2006)

    Google Scholar 

  13. Westergaard, M.: Access/CPN 2.0: A High-level Interface to Coloured Petri Net Models. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 328–337. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  14. Westergaard, M., Evangelista, S., Kristensen, L.M.: ASAP: An Extensible Platform for State Space Analysis. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 303–312. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  15. Westergaard, M., Kristensen, L.: The Access/CPN Framework: A Tool for Interacting With the CPN Tools Simulator. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 313–322. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  16. Westergaard, M., Lassen, K.: The BRITNeY Suite Animation Tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 431–440. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. Westergaard, M., Maggi, F.: Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. In: Proc. of BPMDemos. CEUR Workshop Proceedings, vol. 820. CEUR-WS.org (2011)

    Google Scholar 

  18. Wolf, K.: Generating Petri Net State Spaces. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 29–42. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands

    Michael Westergaard

  2. Higher School of Economics, National Research University, Moscow, 101000, Russia

    Michael Westergaard

Authors
  1. Michael Westergaard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna, 1, 50018, Zaragoza, Spain

    José-Manuel Colom

  2. Fernuniversität Hagen, IZ, Universitätsstraße 1, 58097, Hagen, Germany

    Jörg Desel

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Westergaard, M. (2013). CPN Tools 4: Multi-formalism and Extensibility. In: Colom, JM., Desel, J. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. Lecture Notes in Computer Science, vol 7927. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38697-8_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38697-8_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38696-1

  • Online ISBN: 978-3-642-38697-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation