Open petri nets as semantic model for workflow integration

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

Volumn 2472, Issue , 2003, Pages 281-294

  Heckel, Reiko ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346264919     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40022-6_14     Document Type: Article

References (20)

1. 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. 283, 289, 292
2. W.M. P. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998. 282
3. W.M. P. van der Aalst. Interorganizational workflows: An approach based on message sequence charts and Petri nets. Systems Analysis-Modelling- Simulation, 34(3):335-367, 1999. 282
4. W.M. P. van der Aalst and T. Basten. Inheritance of workflows: An approach to tackling problems related to change. Computing Science Reports 99/06, Eindhoven University of Technology, 1999. 283, 289, 292
5. W.M. P. van der Aalst, A. P. Barros, A. H. M. ter Hofstede, and B. Kiepuszewski. Advanced workflow patterns. In Conference on Cooperative Information Systems, pages 18-29, 2000. 282
6. W.M. P. van der Aalst and M. Weske. The P2P approach to interorganizational workflows. In K. R. Dittrich, A. Geppert, and M. C. Norrie, editors, Proc. 13th Intl. Conference on Advanced Information Systems Engineering (CAiSE 2001), Interlaken, Switzerland, June 2001, volume 2068 of LNCS, pages 140-156. Springer-Verlag, 2001. 283
7. T. Basten. In terms of nets. PhD thesis, Eindhoven University of Technology, The Netherlands, 2000. 283
8. P. Baldan, A. Corradini, H. Ehrig, and R. Heckel. Compositional modeling of reactive systems using open nets. In Proc. CONCUR 2001, Aarhus, Denmark, volume 2154 of LNCS, pages 502-518. Springer-Verlag, August 2001. Full version available at ftp://ftp.di.unipi.it/pub/techreports/TR-01-21.ps.Z. 283, 285, 288, 289
9. E. Best, R. Devillers, and J. Hall. The Box Calculus: a new causal algebra with multi-label communication. In Advances in Petri Nets, pages 21-69. LNCS, 1992. 609. 283
10. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361-404, 1991. 291
11. H. Ehrig, M. Pfender, and H. J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167-180. IEEE, 1973. 291
12. U. Golz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125-147, 1983. 282, 286
13. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999. 281
14. E. Kindler. A compositional partial order semantics for Petri net components. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets, volume 1248 of LNCS, pages 235-252. Springer-Verlag, 1997. 283
15. E. Kindler, A. Martens, and W. Reisig. Inter-operability of workflow applications: Local criteria for global soundness. In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of LNCS, pages 235-253. Springer-Verlag, 2000. 283
16. J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88(2):105-155, 1990. 283
17. M. Nielsen, L. Priese, and V. Sassone. Characterizing Behavioural Congruences for Petri Nets. In Proc. CONCUR'95, LNCS 962, pages 175-189. Springer-Verlag, 1995. 283
18. Object Management Group. UML specification version 1.4, 2001. http://www.celigent.com/omg/umlrtf/. 281
19. J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. MSCS, 2:217-256, 1995. 291
20. W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985. 283