Translation of nets within nets in cross-organizational software process modeling

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

Volumn 3840 LNCS, Issue , 2006, Pages 360-375

  Ge, Jidong ^a   Hu, Haiyang ^a   Lu, Ping ^a   Hu, Hao ^a   Lü, Jian ^a  

^a NANJING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; MATHEMATICAL MODELS; MOBILE ANTENNAS; SOFTWARE ENGINEERING; SYNCHRONIZATION;

CROSS-ORGANIZATIONAL SOFTWARE; PROCESS MANAGEMENT; SOFTWARE PROCESS TECHNOLOGY;

PROCESS CONTROL;

EID: 33745170341     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11608035_30     Document Type: Conference Paper

References (14)

1. W.M.P. van der Aalst: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers, (1998) 21-66
2. T. Cai, P. A. Gloor and S. Nog: DARTFlow: A Workflow Management System on The Web Using Transportable Agents. Dartmouth College PCS-TR96-283
3. W. Deiters and V. Gruhn: The FUNSOFT Net Approach to Software Process Management. International Journal on Software Engineering and Knowledge Engineering, (1994) 229-256
4. J. Desel, J. Esparza: Free choice Petri nets. Cambridge University Press (1995)
5. M. Divitini, C. Hanachi, C. Sibertin-Blanc: Inter-Organizational Workflows for Enterprise Coordination. Coordination of Internet Agents: Models, Technologies, and Applications, Springer (2001) 369-398
6. W. S. Humphrey: Managing the Software Process. Addison-Wesley (1989)
7. M. Köhler, D. Moldt, and H. Rölke: Modelling mobility and mobile agents using nets within nets. Proc. of Application and Theory of Petri Nets 2003, Springer-Verlag, LNCS 2679 (2003) 121-140
8. M. Köhler and H. Rölke: Properties of Object Petri Nets. Proc. of Application and Theory of Petri Nets 2004, Springer-Verlag, LNCS 3099 (2004) 278-297
9. C. Lakos: From Coloured Petri nets to Object Petri nets. Proc. of Application and Theory of Petri Nets 1995, Springer-Verlag, LNCS 935 (1995) 278-297
10. L. J. Osterweil: Software Processes are Software too. Proc. of ICSE (1987) 2-13
11. W. Reisig: An Introduction to Petri Nets. Springer (1985)
12. R. Valk: Petri nets as token objects: An introduction to elementary object nets. Proc. of Application and Theory of Petri Nets, Springer-Verlag, LNCS 1420 (1998) 1-25
13. R. Valk: Concurrency in Communication Object Petri Nets. In G. Agha et al. editors, Concurrent Object-Oriented Programming and Petri Nets, Springer-Verlag, LNCS 2001 (2001) 164-195
14. H. M. W. (Eric) Verbeek, A. Hirnschall, and Wil M. P. van der Aalst: XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. Proc. of WES 2002, Springer-Verlag, LNCS 2512 (2002) 93-108