DaGen: A tool for automatic translation from DAML-s to high-level petri nets

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

Volumn 2984, Issue , 2004, Pages 209-213

  Moldt, Daniel ^a   Ortmann, Jan ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNET; PETRI NETS; SOFTWARE ENGINEERING; WEBSITES;

BUSINESS PROCESS; DAML-S; HIGH-LEVEL PETRI NETS; NETS-WITHIN-NETS; PROCESS ONTOLOGIES; REFERENCE NETS; RENEW; WORKFLOW;

WEB SERVICES;

EID: 35048877655     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_15     Document Type: Article

References (16)

1. Wil M.P. van der Aalst and Arthur H.M. ter Hofstede. Workflow pattern Homepage. Technical report, URL: http://tmitwww.tm.tue.nl/research/patterns/, 2003.
2. Wil van der Aalst. Verification of workflow nets. Number 1248 in Lecture Notes in Computer Science, pages 407-426, Berlin Heidelberg New York, 1997. Springer Verlag.
3. Wil van der Aalst, Daniel Moldt, Rüdiger Valk, and Prank Wienberg. Enacting Interorganizational Workflows Using Nets in Nets. In Jörg Becker, Michael zur Mühlen, and Michael Rosemann, editors, Proceedings of the 1999 Workflow Management Conference Workflow-based Applications, Münster, Nov. 9th 1999, Working Paper Series of the Department of Information Systems, pages 117-136, University of Munster, Department of Information Systems, Steinfurter Str. 109, 48149 Münster, 1999. Working Paper No. 70.
4. Lawerence Cabac, Daniel Moldt, and Heiko Rölke. A proposal for structuring petri net-based agent interaction protocols. In Wil van der Aalst and Eike Best, editors, Proc. of 24nd International Conference on Application and Theory of Petri Nets 2003 (ICATPN 2003), Eindhoven, NL, Berlin Heidelberg New York, 2003. to be published in Lecture Notes in Computer Science, Springer-Verlag.
5. Søren Christensen and Niels Damgaard Hansen. Coloured Petri Nets Extended with Channels for Synchronous communication. Technical Report DAIMI PB-390, Computer Science Department, Aarhus University, DK-8000 Aarhus C, Denmark, April 1992.
6. Michael Duvigneau, Daniel Moldt, and Heiko Rölke. Concurrent architecture for a multi-agent platform. In Fausto Giunchiglia, James Odell, and Gerhard Wei, editors, Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions, volume 2585 of LNCS, Berlin Heidelberg New York, 2003. Springer.
7. Thomas Jacob. Implementierung einer sicheren und rollenbasierten Workflowmanagement-Komponente für ein Petrinetzwerkzeug. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 2002.
8. K. Jensen. High Level Petri Nets. In A. Pagoni and G. Rozenberg, editors, Applications and Theory of Petri Nets, number 66 in Informatik Fachberichte, pages 166-180, Berlin, 1983. Springer-Verlag.
9. Olaf Kummer. Simulating synchronous channels and net instances. In Jörg Desel, Peter Kemper, Ekkart Kindler, and Andreas Oberweis, editors, 5. Workshop Algorithmen und Werkzeuge für Petrinetze, Forschungsbericht Nr. 694, pages 73-78. Fachbereich Informatik, Universität Dortmund, 1998.
10. Olaf Kummer. Introduction to Petri nets and reference nets. Sozionik Aktuell, 1:1-9, 2001. ISSN 1617-2477.
11. Olaf Kummer. Referenznetze. Logos Verlag, Berlin, 2002.
12. Olaf Kummer, Annette Laue, Matthias Liedtke, Daniel Moldt, and Heiko Rölke. Höhere Petrinetze zur kompakten Modellierung und Implementierung von Verhalten. In Holger Giese and Stephan Philippi, editors, Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8. Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, 13.-14. November 2000, Universität Münster, pages 27-32, November 2000. Techreport 24/00-I.
13. Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew - The Reference Net Workshop. WWW-Dokument unter http://renew.de/, 2003.
14. Srini Narayanan and Sheila A. Mcllraith. Simulation, verification and automated composition of web services. In Proceedings of the eleventh international conference on World Wide Web, pages 77-88, Honolulu, Hawaii, 2002. ACM Press.
15. R. Valk. Petri nets as token objects - an introduction to elementary object nets. In J. Desel and M. Silva, editors, Proc. Application and Theory of Petri Nets, Lisbon, Portugal, number 1420 in LNCS, pages 1-25, Berlin, 1998. Springer-Verlag.
16. W. M. P. van der Aalst and K. Anyanwu. Inheritance of interorganizational workflows to enable business-to-business E-commerce. In Proceedings of the Second International Conference on Telecommunications and Electronic Commerce (ICTEC'99), pages 141-157. Nashville, Tennessee, October 1999.