Advertisement

CPN Tools 4: Multi-formalism and Extensibility

  • Michael Westergaard
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Graphical User Interface Simulator Extension Graphical Element Extension Manager Remote Procedure Call 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    CPN Tools webpage, http://cpntools.org
  3. 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)CrossRefGoogle Scholar
  4. 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. 5.
  6. 6.
    Jensen, K., Kristensen, L.: Coloured Petri Nets – Modelling and Validation of Concurrent Systems. Springer (2009)Google Scholar
  7. 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 CrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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. 10.
    Rasmussen, J., Singh, M.: Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User’s Manual, http://www.daimi.au.dk/designCPN
  11. 11.
    The MARS Team: CPN-AMI webpage, http://www-src.lip6.fr/logiciels/mars/CPNAMI/
  12. 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. 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)CrossRefGoogle Scholar
  14. 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)CrossRefGoogle Scholar
  15. 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)CrossRefGoogle Scholar
  16. 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)CrossRefGoogle Scholar
  17. 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. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Michael Westergaard
    • 1
    • 2
  1. 1.Department of Mathematics and Computer ScienceEindhoven University of TechnologyThe Netherlands
  2. 2.Higher School of EconomicsNational Research UniversityMoscowRussia

Personalised recommendations