A proposal for Petri net based web service application modeling

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

Volumn 3140, Issue , 2004, Pages 93-97

  Moldt, Daniel ^a   Offermann, Sven ^a   Ortmann, Jan ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

High level Petri nets; Modeling; MULAN; Nets within nets; Reference nets; Renew; Specification; Web service

Indexed keywords

APPLICATION PROGRAMS; MODELS; PETRI NETS; SPECIFICATIONS; WEBSITES;

HIGH-LEVEL PETRI NETS; MULAN; NETS-WITHIN-NETS; REFERENCE NETS; RENEW;

WEB SERVICES;

EID: 33744965452     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27834-4_12     Document Type: Conference Paper

References (10)

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. C. Girault and R. Valk. Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer-Verlag, 2003.
3. Thomas Jacob. Implementierung einer sicheren und rollenbasierten Workflow- Management-Komponente fur ein Petrinetzwerkzeug. Diplomarbeit, Universit¨at Hamburg, Fachbereich Informatik, 2002.
4. 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.
5. Michael K¨ohler, Daniel Moldt, and Heiko Rolke. Modelling the structure and behaviour of Petri net agents. In Proc. of 22nd International Conf. on Applications and Theory of Petri Nets 2001 (ICATPN 2001)/J.-M. Colom, M. Koutny (Eds.), Newcastle upon Tyne, UK, pages 224–242. Lecture Notes in Computer Science 2075, edited by G. Goos, J. Hartmanis and J. van Leuwen, Springer, June 2001.
6. Daniel Moldt and Jan Ortmann. DaGen: A Tool for Automatic Translation from DAML-S to High-level Petri Nets, 2004. to appear, excepted as tool paper to FASE 2004.
7. Object Management Group. UML resource page. Technical report, 2004.
8. Sven Offermann. Ein Referenz-Netz-basiertes Modell zur dynamischen Komposition von Web Services. Master’s thesis, Universitat Hamburg, Fachbereich Informatik, 2003.
9. Renew – the reference net workshop. URL http://www.renew.de/. Reference to the program, the source code and the documentation of the Renew simulator.
10. 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