CPN tools 4: Multi-formalism and extensibility

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7927 LNCS, Issue , 2013, Pages 400-409

  Westergaard, Michael ^a,b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b NATIONAL RESEARCH UNIVERSITY HIGHER SCHOOL OF ECONOMICS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COLORED PETRI NETS; CPN TOOLS; ORDINARY PETRI NET; RESET ARCS; THIRD PARTIES;

JAVA PROGRAMMING LANGUAGE; PETRI NETS;

TOOLS;

EID: 84879668474     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38697-8_22     Document Type: Conference Paper

References (18)

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)
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)
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)
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)
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
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)
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)
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)
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)
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)
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)
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)
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)
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)