The Petri net API: A collection of Petri net-related functions

CEUR Workshop Proceedings

Volumn 643, Issue , 2010, Pages 148-153

  Lohmann, Niels ^a   Mennicke, Stephan ^a   Sura, Christian ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

C++ LIBRARIES; VERIFICATION TOOLS;

ALGORITHMS; TOOLS;

PETRI NETS;

EID: 84866371154     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Aalst, W.M.P.V.D.: The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers 8(1), 21-66 (1998)
2. Aalst, W.M.P.V.D., Hofstede, A.H.M.T.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245-275 (2005)
3. Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: a tool for the synthesis and mining of Petri nets. In: ACSD 2009. pp. 181-185. IEEE (2009)
4. Chouikha, A., Fay, A., Schnieder, E.: Konzept eines Frame-works für Petrinetz-Editoren. In: AWPN 1998. pp. 32-37. No. 694 in Research Reports, Universität Dortmund, Fachbereich Informatik (1998)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)
6. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. Trans. Inf. and Syst. E80-D(3), 315-325 (1997)
7. Decker, G., Overdick, H., Weske, M.: Oryx - an open modeling platform for the bpm community. In: BPM 2008. pp. 382-385. LNCS 5240, Springer (2008)
8. Dehnert, J., Aalst, W.M.P.V.D.: Bridging the gap between business models and workflow specifications. Int. J. Cooperative Inf. Syst. 13(3), 289-332 (2004)
9. Hillah, L.M., Kindler, E., Kordon, F., Petrucci, L., Trèves, N.: A primer on the Petri Net Markup Language and ISO/IEC 15909-2. Petri Net Newsletter 76, 9-28 (2009)
10. Hillah, L.M., Kordon, F., Petrucci, L., Trèves, N.: PNML framework: An extendable reference implementation of the Petri Net Markup Language. In: PETRI NETS 2010. pp. 318-327. LNCS 6128, Springer (2010)
11. Kindler, E., Weber, M.: The Petri Net Kernel - an infrastructure for building Petri net tools. STTT 3(4), 486-497 (2001)
12. Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN. Informatik-Berichte 212, Humboldt-Universität zu Berlin, Berlin, Germany (2007)
13. Lohmann, N., Weinberg, D.: Wendy: A tool to synthesize partners for services. In: PETRI NETS 2010. pp. 297-307. LNCS 6128, Springer (2010)
14. Lohmann, N., Wolf, K.: How to implement a theory of correctness in the area of business processes and services. In: BPM 2010. pp. 61-77. LNCS 6336, Springer (2010)
15. Massuthe, P., Weinberg, D.: Fiona: A tool to analyze interacting open nets. In: AWPN 2008. pp. 99-104. CEUR Workshop Proceedings Vol. 380, CEUR-WS.org (2008)
16. Menzel, T.: Entwurf und Implementierung eines objektorientierten Frameworks zur Petrinetzbasierten Modellierung. In: AWPN 1997. pp. 25-30. No. 85 in InformatikBerichte, Humboldt-Universität zu Berlin, Institut für Informatik (1997)
17. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580 (1989)
18. Pillat, T.: Gegenüberstellung struktureller Reduktionstechniken für Petrinetze. Diplomarbeit, Humboldt-Universität zu Berlin (2008), (in German)
19. Starke, P.H.: Analyse von Petri-Netz-Modellen. Teubner Verlag (1990)
20. Verbeek, E., Buijs, J., Dongen, B.v., Aalst, W.M.P.V.D.: Prom 6: The process mining toolkit. In: BPM 2010 Demos. CEUR Workshop Proceedings Vol. 615, CEUR-WS.org (2010)
21. Verbeek, H.M.W., Basten, T., Aalst, W.M.P.V.D.: Diagnosing workflow processes using Woflan. Comput. J. 44(4), 246-279 (2001)
22. Wolf, K.: Generating Petri net state spaces. In: ICATPN 2007. pp. 29-42. LNCS 4546, Springer (2007)
23. Wolf, K.: Does my service have partners? LNCS T. Petri Nets and Other Models of Concurrency 5460(2), 152-171 (2009)