A new Petri net modeling technique for the performance analysis of discrete event dynamic systems

Journal of Systems and Software

Volumn 72, Issue 3, 2004, Pages 335-348

  Koriem, Samir M ^a,d   Dabbous, T E ^b   El Kilani, W S ^c  

^a AL AZHAR UNIVERSITY   (Egypt)

^b HIGHER TECHNOLOGICAL INSTITUTE   (Egypt)

^c Menoufia University   (Egypt)

^d Abha Coll of Technol   (Saudi Arabia)

Author keywords

Discrete event dynamic systems; Largeness problem; Parameter identification; Partially observed systems; Stochastic reward nets

Indexed keywords

COMPUTER SIMULATION; CONTROL THEORY; MARKOV PROCESSES; MATHEMATICAL MODELS; PARAMETER ESTIMATION; PARTIAL DIFFERENTIAL EQUATIONS; RELIABILITY; TELECOMMUNICATION NETWORKS;

DISCRETE EVENT DYNAMIC SYSTEMS; LARGENESS PROBLEM; PARTIALLY OBSERVED SYSTEMS; STOCHASTIC REWARD NETS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 2942622280     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(03)00211-5     Document Type: Article

References (33)

1. Aoumeur, N., Saake, G., 2001. Towards an adequate framework for specifying and validating runtime evolving complex discrete-event systems. In: Proceedings of the First Workshop on Modeling of Objects Components, and Agents, Aarhus University, Denmark, DAIMI PB-553, pp. 1-20.
2. Ballarini, P., Donatelli, S., Franceschinis, G., 2000. Parametric stochastic well-formed nets and compositional modeling. In: Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, pp. 215-221.
3. Bradley, J.T., Knottenbelt, W.J., Harrison, P.G., Vowden, C.J., 2002. Transient and passage-time distributions in semi-Markov processes. In: Proceedings of the 18th UK Performance Engineering Workshop (UKPEW2002), Glasgow, UK, pp. 153-162.
4. Buchholz P. An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models. European Journal of Operational Research. 116(3):1999;545-564.
5. Buchholz P. An adaptive importance sampling approach for the transient analysis of Markovian queuing networks. European Transactions on Telecommunications. 13(4):2002;317-330.
6. Capkovic, F., 2000. A solution of DEDS control synthesis problems. In: Proceedings of the IFAC Conference on Control System Design, Bratislava, Slovakia, pp. 337-342.
7. Capkovic, F., 2001. An approach to model and control of discrete-event dynamic systems. In: Proceedings of the European Control Conference (ECC'2001), Porto, Portugal, pp. 1007-1012.
8. Capkovic, F., Capkovic, P., 2001. A new tool for knowledge-based control synthesis of DEDS by means of simulation. In: Proceedings of the 2001 European Simulation Multi-Conference: Modeling and Simulation, Prague, Czech Republic, pp. 179-186.
9. Capra L., Dutheillet C., Franceschinis G., Ilie J.M. Exploiting partial symmetries for Markov chain aggregation. Electronic Notes in Theortical Computer Science. 39(3):2000;287-295.
10. Ciardo G., Blakemore A., Chimento P.F.J., Muppala J.K., Trivedi K.S. Automated generation and analysis of Markov reward models using stochastic reward nets. Meyer C., Plemmons R.J. Linear Algebra, Markov Chains, and Queueing Models. IMA Volumes in Mathematics and its Applications. vol. 48:1993;145-191 Springer-Verlag.
11. Davies, I., Knottenbelt, W.J., Kritzinger, P.S., 2002. Symbolic methods for the state space exploration of GSPN models. In: Proceedings of the 12th International Conference on Modeling Techniques and Tools (TOOLS 2002), London, UK, pp. 188-199.
12. Esser, R., Janneck, J.W., 2001. Moses: a tool suite for visual modeling of discrete-event systems. In: Symposium on Visual/Multimedia Approaches to Programming and Software Engineering, HCC'01, Stresa, Italy, pp. 416-423.
13. Ezpeleta J. Petri nets for system engineering: a guide to modeling, verification and applications. 2001;Springer-Verlag.
14. Fischer M., Kemper P. Distributed numerical Markov chain analysis. Proceedings of the Eighth Euro PVM/MPI 2001, Santorini (Thera) Island, Greece. LNCS 2131. 2001;272-279 Springer-Verlag.
15. Goseva-Popstojanova K., Trivedi K.S. Stochastic modeling formalisms for dependability, performance and performability. Lecture Notes in Computer Science 1769. 2000;403-422 Springer-Verlag.
16. Hadjicostis C.N., Verghese G.C. Encoded dynamics for fault-tolerance in linear finite-state machines. IEEE Transactions on Automatic Control. 47(1):2002;189-192.
17. Hirel C., Trivedi K.S., Tuffin B. SPNP Version 6.0. Lecture Notes in Computer Science 1786. 2000;354-357 Springer-Verlag.
18. Ibe O.C., Choi H., Trivedi K.S. Performance evaluation of client-server systems. IEEE Transactions on Parallel and Distributed Systems. 4(11):1993;1217-1229.
19. Juhas, G., 2000. A unified approach to model and control of a class of discrete-event and hybrid systems via algebraically generalized Petri nets. In: Proceedings of the IFAC Conference on Control System Design, Bralislava, Slovakia, pp. 377-382.
20. Knottenbelt W.J., Harrison P.G., Mestern M.A., Kritzinger P.S. A probabilistic dynamic technique for the distributed generation of very large state spaces. Performance Evaluation Journal. 19(1-4):2000;148-217.
21. Koriem S.M. R-nets for the performance evaluation of hard real-time systems. Journal of Systems and Software. 46(1):1999;41-58.
22. Koriem S.M. Fast and simple decomposition techniques for the reliability analysis of interconnection networks. Journal of Systems and Software. 45(2):1999;155-171.
23. Marsan M.A., Gaeta R., Meo M. Accurate approximate analysis of cell-based switch architectures. Performance Evaluation. 45(1):2001;33-56.
24. Miner, A.S., 2002. Efficient state space generation of GSPNs using decision diagrams. In: Proceedings 2002 of the International Conference on Dependable Systems and Networks (DSN 2002), Washington, DC, USA, pp. 637-646.
25. Nicole D.M. Discrete-event system simulation in performance evaluation. Lecture Notes in Computer Science 1769. 2000;433-457 Springer-Verlag.
26. Park J., Reveliotis S., Bodner D., McGinnis L.F. A distributed event control architecture for flexibly automated manufacturing systems. International Journal of Computer Integrated Manufacturing. 15(2):2002;109-126.
27. Ramani, S., Trivedi, K.S., Dasarathy, B., 2000. Performance analysis of the CORBA event service using stochastic reward nets. In: Proceedings of the 19th Symposium on Reliable Distributed Systems, Nurnberg, Germany, pp. 238-247.
28. Reibman A., Trivedi K.S. Numerical transient analysis of Markov models. Computers and Operations Research. 15(1):1988;19-36.
29. Schneeweiss W.G. Tutorial: Petri nets as a graphical description medium for many reliability scenarios. IEEE Transactions on Reliability. 50(2):2001;159-164.
30. Takai S. Supervisory control of partially observed discrete event systems with arbitrary control patterns. International Journal System Science. 31(5):2000;649-656.
31. Teo K.L., Goh C.J., Wong K.H. A unified computational approach to optimal control problems. 1991;Longman Scientific and Technical, London, England.
32. ++: model objects to support performance analysis and simulation of complex systems. In: Proceedings of the 12th International Conference on Modeling Tools and Techniques for Computer and Communication System Performance Evaluation (TOOLS 2002), London, UK, pp. 335-348.
33. Yoo, T.-S., Lafortune, S., 2001. On the computational complexity of some problems arising in partially-observed discrete-event systems. In: Proceedings of the American Control Conference, Arlington, VA, USA, pp. 307-312.