论文信息 - A Proposal for Petri Net Based Web Service Application Modeling

A Proposal for Petri Net Based Web Service Application Modeling

Web engineering can be seen as the application of software engineering in a particular environment – the Web. Its most important aspect is the orientation towards distributed systems and their current technology. Current specification techniques like UML do not cover concurrency, distribution and deployment in a sufficient way.

[1] Rüdiger Valk,et al. Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[2] Kurt Jensen. High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[3] Daniel Moldt,et al. DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets , 2004, FASE.

[4] Robin Milner. The Flux of Interaction , 2001, ICATPN.

[5] Daniel Moldt,et al. Modelling the Structure and Behaviour of Petri Net Agents , 2001, ICATPN.

[6] Rüdiger Valk,et al. Petri Nets as Token Objects: An Introduction to Elementary Object Nets , 1998, ICATPN.

[7] Jörg Desel,et al. Application and Theory of Petri Nets 1998 , 2000, Lecture Notes in Computer Science.