Spnl: Processes as language-oriented building blocks of stochastic petri nets

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

Volumn 1245, Issue , 1997, Pages 123-134

  German, Reinhard ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MEDIUM ACCESS CONTROL; PETRI NETS; SPECIFICATIONS; STOCHASTIC SYSTEMS;

BUILDING BLOCKES; DEPENDABILITY MODELS; MODEL SPECIFICATIONS; MODELING PARADIGMS; MODULAR PROGRAMMING LANGUAGES; PROCESS INTERACTION; STOCHASTIC PETRI NETS; STRUCTURED SPECIFICATION;

STOCHASTIC MODELS;

EID: 84949597761     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0022202     Document Type: Conference Paper

References (14)

1. M. Ajmone Marsan, G. Chiola, A. Fumagalli. An Accurate Performance Model of CSMA/CD Bus LAN. 1987.
2. M. Ajmone Marsan, G. Balbo, G. Chiola, S. Donatelli, G. Franceschinis. Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
3. M. Baldarassi, G. Bruno. PROTOB: An Object Oriented Methodology Based on Hierachical Colored Petri Nets. In K. Jensen, G. Rozenberg (eds.): High-level Petri Nets, Theory and Application. Springer-Verlag, pp. 624-648, 1991.
4. F. Bause, P. Kemper, P. Kritzinger. Abstract Petri Net Notation, In F. Bause, H. Beilner (eds.): Perfomance Tools Model Interchange Formats, Research Report 581/1995, Universititt Dortmund, Informatik IV.
5. G. Chiola. GreatSPN 1.5 Software Architecture. In G. Balbo, G. Serazzi (eds.): Computer Performance Evaluation, North-Holland, pp. 121-136, 1991.
6. G. Ciardo, A. Blakemore, P.F. Chimento, J.K. Muppala, and K.S. Trivedi. Automated Generation of Markov Reward Models using Stochastic Reward Nets. Linear Algebra, Markov Chains, and Queueing Models, Vol. 48 of IMA Volumes in Mathematics and its Applications, Springer Verlag, 1993.
7. G. Ciardo, A. S. Miner. SMART: Simulation and Markovian Analyzer for Reliability and Timing. Proc. 2nd IEEE Int. Computer Performance & Dependability Syrup., Urbana-Champaign, Illinois, USA, p. 60, 1996.
8. R. German. SPNL: Processes as Language-Oriented Building Blocks of Stochastic Petri Nets. Technical Report 96-37, Technical University Berlin, Computer Science Department, 1996.
9. R. German, A. P. A. van Moorsel, M. A. Qureshi, W. H. Sanders. Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets. Proc. 17th Int. Conf. on Application and Theory of Petri Nets, pp. 172-191, Osaka, Japan, Springer-Verlag, LNCS 1091, 1996.
10. IEEE. P802.11. Draft Standard for Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification, May 1996.
11. K. Jensen. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Springer-Verlag, 1992.
12. V. Mainkar, K. S. Trivedi. Fixed Point Iteration Using Stochastic Reward Nets. Proc. 6th Int. Workshop on Petri Nets and Performance Models (PNPM). Durham, North Carolina, USA, pp. 21-30, 1995.
13. W. H. Sanders, J. F. Meyer. A Unified Approach for Specifying Measures of Performance, Dependability, and Performability. Dependable Computing for Critical Applications, 4 (1991) 215-237, Springer-Verlag.
14. M. Telek, A. Bobbio, A. Puliafito. Steady State Solution of MRSPN with Mixed Preemption Policies. Proc. 2nd IEEE Int. Computer Performance & Dependability Symp., Urbana-Champaign, Illinois, USA, pp. 106-115, 1996.