Using TimeNET to Evaluate Operational Planning Processes

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

Volumn 3080, Issue , 2004, Pages 17-32

  Freiheit, Jörn ^a   Billington, Jonathan ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Coloured stochastic petri nets; Operational planning processes; Performance analysis

Indexed keywords

PETRI NETS; STOCHASTIC SYSTEMS;

BUSINESS PROCESS; COLOURED STOCHASTIC PETRI NETS; OPERATIONAL PLANNING; PERFORMANCE ANALYSIS; RESOURCE MANAGEMENT PROCESS;

HUMAN RESOURCE MANAGEMENT;

EID: 34249904245     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25970-1_2     Document Type: Article

References (18)

1. W.M.P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691, pages 453-472. Springer-Verlag, Berlin, 1993.
2. Australian Defence Force Publications (ADFP). Joint Military Appreciation Process. Operations Series 9, Joint Planning, Chapter 8, 1999.
3. G. Balbo G. Conte S. Donatelli Ajmone Marsan, M. and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
4. F. Bause and P. Kemper. QPN-Tool for the qualitative and quantitative analysis of Queueing Petri Nets. In G. Haring and G. Kotsis, editors, Computer Performance Evaluation, Modelling Techniques and Tools 94, volume 794 of Lecture Notes in Computer Science, pages 321-334, 1994.
5. G. Ciardo, R. German, and Ch. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. IEEE Transactions on Software Engineering, 20:506-515, 1994.
6. J. Dehnert, J. Freiheit, and A. Zimmermann. Modeling and Evaluation of Time Aspects in Business Processes. Journal of the Operational Research Society (JORS), 53(8):138-147, 2002.
7. J. Desel and T. Erwin. Modeling, simulation and analysis of business processes. In W. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques and Empirical Studies, volume 1806 of LNCS. Springer-Verlag, 2000.
8. Deployable Joint Force Headquarters (DJFHQ). SOP 310 - The Operational Planning Process. 2001.
9. J. Eder, E. Panagos, H. Pozewaunig, and M. Rabinovich. Time Management in Workflow Systems. In W. Abramowicz and M.E. Orlowska, editors, BIS'99 3rd International Conference on Business Information Systems, pages 265-280. Springer Verlag, 1999.
10. C.A. Ellis, K. Keddara, and J. Wainer. Modeling Workflow Dynamic Change Using Timed Hybrid Flow Nets. In W.M.P. van der Aalst, G. De Michelis, and C. A. Ellis, editors, Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), volume 98/7 of Computing Science Reports, pages 109-128. Eindhoven University of Technology, Eindhoven, 1998.
11. G. Franceschinis G. Chiola, C. Dutheillet and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11):1343-1360, 1993.
12. R. Gaeta G. Chiola, G. Franceschinis and M. Ribaudo. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools, 24(1,2):47-68, 1995.
13. R. German. Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000.
14. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Volume 1-3. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1997.
15. Ch. Kelling and G. Hommel. Rare Event Simulation with an Adaptive RESTART Method in a Petri Nets Simulation Environment. In 4th Workshop on Parallel and Distributed Real-Time Systems, pages 229-234, Honolulu, HI, USA, 1996.
16. Lars M. Kristensen, Brice Mitchell, Lin Zhang, and Jonathan Billington. Modelling and initial analysis of operational planning processes using coloured petri nets. In Formal Methods in Software Engineering and Defence Systems 2002, pages 105-114, Adelaide, Australia, 2002.
17. A. Zimmermann, S. Bode, and G. Hommel. Performance and Dependability Evaluation of Manufacturing Systems Using Petri Nets. In 1st Workshop on Manufacturing Systems and Petri Nets, 17th Int. Conf. on Application and Theory of Petri Nets, pages 235-250, Osaka, Japan, 1996.
18. A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri net modelling and performability evaluation with TimeNET 3.0. In Proc. 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pages 188-202, Chicago, USA, 2000.