The ProC/BToolset for the modelling and analysis of process chains

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

Volumn 2324 LNCS, Issue , 2002, Pages 51-70

  Bause, F ^a   Beilner, H ^a   Fischer, M ^a   Kemper, P ^a   Volker M ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

E Business; E Commerce; Generalised Stochastic Petri Nets; Process Chains; Queueing Networks; Simulation

Indexed keywords

ALGEBRA; ELECTRONIC COMMERCE; GRAPHICAL USER INTERFACES; NUMERICAL METHODS; PETRI NETS; QUEUEING NETWORKS; STOCHASTIC SYSTEMS; SUPPLY CHAINS; USER INTERFACES;

EBUSINESS; GENERALISED STOCHASTIC PETRI NETS; HIERARCHICAL STRUCTURES; MODELLING AND ANALYSIS; NUMERICAL TECHNIQUES; PROCESS CHAIN; SIMULATION; SUBORDINATE FUNCTION;

FUNCTION EVALUATION;

EID: 84898068961     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46029-2_3     Document Type: Conference Paper

References (23)

1. M. Ajmone Marsan G. Balbo G. Conte, S. Donatelli, and G. Franceschinis. Modelling with generalized stochastic Petri nets. Wiley, 1995.
2. A. Arantes, C. Fernandes, A.P. Guedes, and I. Themido. Logistic costs case study-an ABC approach. J. of the Operational Research Society, Vol. 51, pp. 1148-1157, 2000
3. F. Baskett, K. Chandy, R. Muntz, and F. Palacios. Open, closed and mixed networks of queues with different classes of customers. J. of the ACM, 22(2):248-260, 1975.
4. F. Bause, H. Beilner. Intrinsic Problems in Simulation of Logistic Networks. 11th European Simulation Symposium and Exhibition (ESS'99), Simulation in Industry, Erlangen, October 26-28, pp. 193-198, 1999.
5. H. Beilner, J. Mäter, N. Weißenberg. Towards a performance modelling environment: News on HIT In: Modeling techniques and tools for computer performance evaluation Editors: R. Puigjaner, D. Potier, pp. 57-75, 1989.
6. H. Beilner, J. Mäter, C. Wysocki. The Hierarchical Evaluation Tool HIT In: Short Papers and Tool Descriptions of the 7th InternationalConference on Modelling Techniques and Tools for Computer Performance Evaluation, 1994.
7. G. Bolch, S. Greiner, H. de Meer, K.S. Trivedi. Queueing Networks and Markov Chains. J. Wiley & Sons, 1998.
8. P. Buchholz, M. Fischer, P. Kemper, and C. Tepper. New features in the APNN toolbox. In P. Kemper (ed), Tools of Aachen 2001 Int. Multiconference on Measurement, Modeling and Evaluation of Computer-Communication Systems, pp. 62-68. Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 760, 2001.
9. P. Buchholz, J.P. Katoen, P. Kemper, and C. Tepper. Model-checking large structured Markov-chains. submitted for publication, 2001.
10. C. Cassandras. Discrete Event Systems: modelling and performance analysis. Irwin, Aksen, 1993.
11. G. Ciardo and A. Miner. SMART: Simulation and Markovian analyzer for reliability and timing. In: Proc. of IEEE Int. Computer Performance and Dependability Symposium. IEEE CS-Press, 1996.
12. S. Donatelli. Superposed Generalized Stochastic Petri nets: definition and efficient solution. In Proc. 15th int. Conf. Application and Theory of Petri nets, Springer, 1994.
13. S. Donatelli and G. Franceschinis The PSR methodology: integrating hardware and software models. In Billington, J. and Reisig, W. (eds.), Application and Theory of Petri Nets 1996, Springer, LNCS 1091, pp. 133-152, 1996.
14. B.R. Haverkort. Approximate Analysis of Networks of PH/PH/1/K Queues: Theory & Tool Support. In: Quantitative Evaluation of Computing and Communication Systems, Editors: H. Beilner, F. Bause, LNCS 977, Springer, pp. 239-253, 1995.
15. P. Kemper. Numerical analysis of superposed GSPNs. IEEE Transactions on Software Engineering, 22(9):615-628, 1996.
16. T. Köpp. Visualization of performance and cost measures for logistic systems derived from process chain paradigms. Master's thesis, Dept. of Computer Science, University of Dortmund, 2001.
17. A. Kuhn. Prozessketten in der Logistik - Entwicklungstrends und Umsetzungsstrategien. Verlag Praxiswissen, Dortmund 1995.
18. A. Kuhn. Prozesskettenmanagement - Erfolgsbeispiele aus der Praxis. Verlag Praxiswissen, Dortmund 1999.
19. D.M. Lambert, M.C. Cooper, and J.D. Pagh. Supply Chain Management: Implementation Issues and Research Opportunities. Int. J. of Logistic Management, 9(2), pp. 1-19, 1998.
20. A.W. Scheer. ARIS-Modellierungsmethoden. Springer, 1998.
21. Supply-Chain Operations Reference Model, SCOR version 4.0, 2000.
22. Collaborative Research Center 559 "Modelling of Large Logistics Networks,". http://www.sfb559.uni-dortmund.de/eng/index.htm
23. W. J. Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press, 1994.