Detecting non-ergodic simulation models of logistics networks

VALUETOOLS 2007 - 2nd International ICST Conference on Performance Evaluation Methodologies and Tools

Volumn , Issue , 2007, Pages

  Bause, Falko ^a   Kriege, Jan ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Ergodicity; Logistics; Petri Nets; Process Chains; Simulation

Indexed keywords

COMPUTER NETWORK PERFORMANCE EVALUATION; LOGISTICS;

APPLICATION-ORIENTED; COLLABORATIVE RESEARCH; ERGODICITY; MODEL DEVELOPMENT; PROCESS CHAIN; RESEARCH ACTIVITIES; SIMULATION; TYPICAL APPLICATION;

PETRI NETS;

EID: 85087594934     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/valuetools.2007.1817     Document Type: Conference Paper

References (28)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
2. F. Bause. On Non-Ergodic Infinite-State Stochastic Petri Nets. Proc. of PNPM 2003 (the 10th International Workshop on Petri Nets and Performance Tools), IEEE Society Press, Urbana (USA), pp. 84-92, 2003.
3. F. Bause, H. Beilner. Intrinsic Problems in Simulation of Logistic Networks. Simulation in Industry, 11th European Simulation Symposium and Exhibition (ESS'99), Erlangen (Germany), October 26-28, SCS Publishing House, pp. 193-198, 1999.
4. F. Bause, H. Beilner. A Short Note on Synchronisation in Open Systems. Petri Net Newsletter, Vol. 57, pp. 9-12, 1999.
5. F. Bause, H. Beilner, M. Fischer, P. Kemper, M. Völker. The ProC/B Toolset for the Modelling and Analysis of Process Chains. In T. Field, P.G. Harrison, J. Bradley, and U. Harder (Hrsg.), Computer Performance Evaluation, Modelling Techniques and Tools, 12th International Conference, TOOLS 2002, London (UK), LNCS, No 2324, S. 51-70. Springer, 2002.
6. F. Bause, P. Buchholz, C. Tepper. The ProC/B-Approach: From Informal Descriptions to Formal Models. ISoLA - 1st International Symposium on Leveraging Applications of Formal Method, 30th October - 2nd November 2004, Paphos, Cyprus.
7. F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri Net Notation. In Research Report No. 563. Fachbereich Informatik der Universität Dortmund (Germany), 1994.
8. F. Bause, P. Kritzinger. Stochastic Petri Nets - An Introduction to the Theory. Vieweg, 2nd Edition, 2002.
9. E. Best, K. Voss. Free Choice Systems have Home States. Acta Informatica, 21:89-100, 1984.
10. P. Buchholz, M. Fischer, P. Kemper, and C. Tepper. New features in the APNN toolbox. In P. Kemper, editor, Tools of Aachen 2001 Int. Multiconference on Measurement, Modeling and Evaluation of Computer-Communication Systems, pp. 62-68, 2001. (Universität Dortmund, Fachbereich Informatik, Research Report No. 760.)
11. J. Desel, J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.
12. C. Dilling, and M. Völker. Beispielmodellierung eines Güterverkehrszentrums im ProC/B-Paradigma. Technical Report 03016, Collaborative Research Center 559 "Modelling of Large Logistics Networks,", 2003, ISSN 1612-1376.
13. W. Feller. An Introduction to Probability Theory and Its Applications, Volume 1. Wiley, 3rd ed., 1968.
14. G. Florin, S. Natkin. Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks. IEEE Trans. on Soft. Eng., 15(4):367-380, 1989.
15. P. Huber, K. Jensen, and R.M. Shapiro. Hierarchies in Coloured Petri Nets. In G. Rozenberg, editor, Lecture Notes in Computer Science Vol. 483, Advances in Petri Nets 1990, pp. 313-341, Springer, 1991.
16. F. Huber, S. Molterer, A. Rausch, B. Schatz, M. Sihling, and O. Slotosch. Tool Supported Specification and Simulation of Distributed Systems. In Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998.
17. K. Jensen. Basic Concepts, Analysis Methods and Practical Use, Volume 1 of Coloured Petri Nets. Springer-Verlag, Berlin, 1992. ISBN 0-387-55597-8.
18. J. Kriege. Konsistenzprüfung von ProC/B-Modellen zur Vorbereitung einer simulativen Analyse. In Proc. of the 18th Conference on Simulation and Visualization, Magdeburg, pp. 69-81, 2007.
19. A. Kuhn. Prozessketten in der Logistik - Entwicklungstrends und Umsetzungsstrategien. Verlag Praxiswissen, Dortmund 1995.
20. A. Kuhn. Prozesskettenmanagement - Erfolgsbeispiele aus der Praxis. Verlag Praxiswissen, Dortmund 1999.
21. A.M. Law, W.D. Kelton. Simulation Modeling and Analysis, McGraw-Hill, 2000.
22. J.L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice-Hall, 1981.
23. G.O. Roberts, J.S. Rosenthal, P.O. Schwartz. Convergence Properties of perturbed Markov chains. J. Appl. Prob., 35:1-11, 1998.
24. A.W. Scheer. ARIS: Business Process Modelling. Springer, 2000.
25. Collaborative Research Center "Modelling of Large Logistics Networks," (559). http://www.sfb559.uni-dortmund.de.
26. E. Teruel, M. Silva. Liveness and home states in equal conflict systems. In Proceedings of the 14th International Conference on Application and Theory of Petri Nets, Chicago (USA), pp. 415-432, 1993.
27. W. van der Aalst Formalization and Verification of Event-driven Process Chains. Information and Software Technology, Vol. 41(10):639-650, 1999.
28. Kees van Hee, Olivia Oanea, and Natalia Sidorova. Colored Petri Nets to Verify Extended Event-Driven Process Chains. In Proc. of the 13th International Conference on Cooperative Information Systems (CoopIS 2005), LNCS Vol. 3760, pp. 183-201, 2005.