Skip to main content
SpringerLink
Log in

Using TimeNET to Evaluate Operational Planning Processes

  • Conference paper
Business Process Management (BPM 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3080))

Included in the following conference series:

Abstract

In this paper we bridge the gap between performance evaluation and the modelling of business processes. On the basis of a case study from the field of operational planning processes we investigate the performance evaluation of human resource management processes. In particular we consider the affect of timing in operational planning processes. We use TimeNET for modelling. It provides methods needed to analyse the performance of the model.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.M.P.: Interval Timed Coloured Petri Nets and their Analysis. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 453–472. Springer, Heidelberg (1993)

    Google Scholar 

  2. Australian Defence Force Publications (ADFP). Joint Military Appreciation Process. Operations Series 9, Joint Planning, ch. 8 (1999)

    Google Scholar 

  3. Balbo, G., Conte, G., Donatelli Ajmone, S., Marsan, M., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, Chichester (1995)

    MATH  Google Scholar 

  4. Bause, F., Kemper, P.: QPN-Tool for the qualitative and quantitative analysis of Queueing Petri Nets. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol. 794, pp. 321–334. Springer, Heidelberg (1994)

    Google Scholar 

  5. Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic Petri net. IEEE Transactions on Software Engineering 20, 506–515 (1994)

    Article  Google Scholar 

  6. Dehnert, J., Freiheit, J., Zimmermann, A.: Modeling and Evaluation of Time Aspects in Business Processes. Journal of the Operational Research Society (JORS) 53(8), 138–147 (2002)

    Google Scholar 

  7. Desel, J., Erwin, T.: Modeling, simulation and analysis of business processes. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management: Models, Techniques and Empirical Studies. LNCS, vol. 1806, p. 129. Springer, Heidelberg (2000)

    Google Scholar 

  8. Deployable Joint Force Headquarters (DJFHQ). SOP 310 – The Operational Planning Process (2001)

    Google Scholar 

  9. Eder, J., Panagos, E., Pozewaunig, H., Rabinovich, M.: Time Management in Workflow Systems. In: Abramowicz, W., Orlowska, M.E. (eds.) BIS 1999 3rd International Conference on Business Information Systems, pp. 265–280. Springer, Heidelberg (1999)

    Google Scholar 

  10. Ellis, C.A., Keddara, K., Wainer, J.: ModelingWorkflow Dynamic Change Using Timed Hybrid Flow Nets. In: van der Aalst, W.M.P., De Michelis, G., Ellis, C.A. (eds.) Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM 1998). Computing Science Reports, vol. 98/7, pp. 109–128. Eindhoven University of Technology, Eindhoven (1998)

    Google Scholar 

  11. Franceschinis, G., Chiola, G., Dutheillet, C., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers 42(11), 1343–1360 (1993)

    Article  Google Scholar 

  12. Gaeta, R., Chiola, G., Franceschinis, G., Ribaudo, M.: 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)

    MATH  Google Scholar 

  13. German, R.: Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, Chichester (2000)

    MATH  Google Scholar 

  14. Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science, vol. 1-3, Springer, Heidelberg (1997)

    Google Scholar 

  15. Kelling, C., Hommel, G.: Rare Event Simulation with an Adaptive RESTART Method in a Petri Nets Simulation Environment. In: 4th Workshop on Parallel and Distributed Real-Time Systems, Honolulu, HI, USA, pp. 229–234 (1996)

    Google Scholar 

  16. Kristensen, L.M., Mitchell, B., Zhang, L., Billington, J.: Modelling and initial analysis of operational planning processes using coloured petri nets. In: Formal Methods in Software Engineering and Defence Systems 2002, Adelaide, Australia, pp. 105–114 (2002)

    Google Scholar 

  17. Zimmermann, A., Bode, S., Hommel, G.: 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, Osaka, Japan, pp. 235–250 (1996)

    Google Scholar 

  18. Zimmermann, A., Freiheit, J., German, R., Hommel, G.: Petri net modelling and performability evaluation with TimeNET 3.0. In: Proc. 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Chicago, USA, pp. 188–202 (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Systems Engineering Centre (CSEC), University of South Australia, Mawson Lakes, SA, 5095, Australia

    Jörn Freiheit & Jonathan Billington

Authors
  1. Jörn Freiheit
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jonathan Billington
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    Jörg Desel

  2. Politecnico di Milano, Italy

    Barbara Pernici

  3. Hasso-Plattner-Institute, University of Potsdam, Germany

    Mathias Weske

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Freiheit, J., Billington, J. (2004). Using TimeNET to Evaluate Operational Planning Processes. In: Desel, J., Pernici, B., Weske, M. (eds) Business Process Management. BPM 2004. Lecture Notes in Computer Science, vol 3080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25970-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25970-1_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22235-4

  • Online ISBN: 978-3-540-25970-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation