Formal specification and state space analysis of an operational planning process

International Journal on Software Tools for Technology Transfer

Volumn 9, Issue 3-4, 2007, Pages 255-267

  Mitchell, Brice ^a   Kristensen, Lars Michael ^b   Zhang, Lin ^a  

^a DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

Business process modelling; Coloured petri nets; Design and analysis of business processes

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER SIMULATION; FORMAL METHODS; PETRI NETS; SPECIFICATIONS; STATE SPACE METHODS;

BUSINESS PROCESS MODELLING; COLOURED PETRI NETS; FORMAL MODELS; FORMAL SPECIFICATION; OPERATIONAL PLANNING PROCESS; STATE SPACE ANALYSIS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34249900486     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-007-0032-3     Document Type: Article

References (29)

1. Adam N.R., Atluri V., Huang W. (1998). Modeling and analysis of workflows using petri nets. J. Intell. Inf. Syst. 10: 131-158
2. Australian Defence Force Publications (ADFP): Joint Military Appreciation Process. Operations Series 9, Joint Planning, Chap. 8 (1999)
3. Bertholot, G.: Occurrence graphs for interval timed coloured petri nets. In: Proceedings of ICATPN'94, vol. 815 of Lecture Notes in Computer Science, pp. 79-98. Springer, Heidelberg (1994)
4. Christensen, S., Kristensen, L.M., Mailund, T.: A sweep-line method for state space exploration. In: Proceedings of TACAS'2001, vol. 2031 of Lecture Notes in Computer Science, pp. 450-464. Springer, Heidelberg (2001)
5. Ellis, C.A., Nutt, G.J.: Modelling and enactment of workflow systems. In: Proceedings of ICATPN'93, vol. 691 of LNCS, pp. 1-16. Springer, Heidelberg (1993)
6. Ferscha, A.: Qualitative and quantitative analysis of business workflows using generalised stochastic petri nets. Oesterreichische National Bank Austria Project no. 5096 (1997)
7. Freiheit, J., Billington, J.: Using timenet to evaluate operational planning processes. In: Proceedings of 2nd International Conference on Business Process Managament, vol. 3080 of Lecture Notes in Computer Science, pp. 17-32. Springer, Heidelberg (2004)
8. Gallasch, G.E., Kristensen, L.M., Mailund, T.: The Sweep/CPN Library. http://www.daimi.au.dk/designCPN/libs/sweepcpn/
9. Gordon, S., Kristensen, L.M., Billington, J.: Verification of a revised WAP wireless transaction protocol. In: Proceedings of ICATPN'2002, vol. 2360 of Lecture Notes in Computer Science, pp. 182-202. Springer, Heidelberg (2002)
10. Jensen, K.: Coloured petri nets - basic concepts, analysis methods, and practical use. Monographs in Theoretical Computer Science. Spinger, Heidelberg (1997)
11. Kristensen L.M., Christensen S., Jensen K. (1998). The practitioner's guide to coloured petri nets. Int. J. Softw Tools Technol Transf 2(2): 98-132
12. Kristensen, L.M., Mitchell, B., Zhang, L., Billington, J.: Modelling and initial analysis of operational planning processes using coloured petri nets. In: Proceedings of Workshop on Formal Methods Applied to Defence Systems, vol. 12 of Conferences in Research and Practice in Information Technology, pp. 105-114. Australian Computer Society (2002)
13. Lakos, C.: The consistent use of names and polymorphism in the definition of object petri nets. In: Proceedings of ICATPN'96, vol. 1091 of LNCS, pp. 380-399. Springer, Heidelberg (1996)
14. Lumsden, S., Smallwood, R., Mitchell, B., Zhang, L.: Modelling operational level planning processes with coloured petri nets. In: Proceedings of 7th International Command and Control Research and Technology Symposium (2002)
15. De Michelis, G., Ellis, C., Memmi, G. (eds.) In: Proceedings Workshop on Computer Supported Co-operative Work, Petri nets and Related Formalisms, Zaragoza (1994)
16. Mitchell, B., Kristensen, L.M., Zhang, L.: Formal specification and state space analysis of an operational planning process. In: Proceedings of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 1-18 (2004)
17. Murata T. (1989). Petri nets: Properties, analysis and application. Proc. IEEE Comput. Soc. 77(4): 541-580
18. Nutt G.J. (1996). The Evolution towards flexible workflow systems. Distrib. Syst. Eng. 34: 276-294
19. Reisig, W.: Petri nets. In: EACTS Monographs on Theoretical Computer Science, vol 4. Springer, Heidelberg (1985)
20. Salimifard K., Wright M. (2001). Petri net-based modelling of workflow systems: An overview. Eur. J. Oper. Res. 134: 664-676
21. Valmari, A.: The state explosion problem. In: Lectures on Petri Nets I: Basic Models, vol. 1491 of Lecture Notes in Computer Science, pp. 429-528. Springer, Heidelberg (1998)
22. VANder Aalst, W.: Interval timed coloured petri nets and their analysis. In: Proceedings of ICATPN'93, vol. 691 of Lecture Notes in Computer Science, pp. 453-472 (1993)
23. van der Aalst, W.: Advanced tutorial on workflow management. In: 23rd International Conference on Application and Theory of Petri Nets (2002)
24. van der Aalst, W., van Hee, K.: Workflow Management - Models, Methods and Systems. The MIT Press, Cambridge (2002)
25. van der Aalst, W.M.P.: Finding errors in the design of a workflow process: A petri-net-based approach. In: Proceedings of the Workflow Management Workshop, Net-based Concepts, Models, Techniques and Tools, pp. 60-81, Lisbon, (1998)
26. van der Aalst W.M.P. (1998). The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(1): 21-66
27. van der Aalst, W.M.P., De Michelis, G., Ellis, C.A., (eds.) In: Proceedings of the workflow management workshop, net-based concepts, models, techniques and tools, Lisbon (1998)
28. van der Aalst W.M.P., ter Hofstede A.H.M. (2000). Verification of workflow task structures: A petri-net-based approach. Inf. Syst. 25(1): 43-69
29. Zisman, M.D.: Representation, specification and automation of office procedures. PhD Thesis, University of Pennsylvania (1977)