{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:40:13Z","timestamp":1736084413876,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631019"},{"type":"electronic","value":"9783540691310"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0022202","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T07:24:13Z","timestamp":1131866653000},"page":"123-134","source":"Crossref","is-referenced-by-count":6,"title":["SPNL: Processes as language-oriented building blocks of stochastic Petri nets"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"German","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Chiola, A. Fumagalli. An Accurate Performance Model of CSMA\/CD Bus LAN. 1987.","DOI":"10.1007\/3-540-18086-9_24"},{"key":"11_CR2","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, S. Donatelli, G. Franceschinis. Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995."},{"key":"11_CR3","unstructured":"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\u2013648, 1991."},{"key":"11_CR4","unstructured":"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, Universit\u00e4t Dortmund, Informatik IV."},{"key":"11_CR5","unstructured":"G. Chiola. GreatSPN 1.5 Software Architecture. In G. Balbo, G. Serazzi (eds.): Computer Performance Evaluation, North-Holland, pp. 121\u2013136, 1991."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-1-4613-8351-2_11"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"G. Ciardo, A. S. Miner. SMART: Simulation and Markovian Analyzer for Reliability and Timing. Proc. 2nd IEEE Int. Computer Performance & Dependability Symp., Urbana-Champaign, Illinois, USA, p. 60, 1996.","DOI":"10.1109\/IPDS.1996.540204"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"R. German. SPNL: Processes as Language-Oriented Building Blocks of Stochastic Petri Nets. Technical Report 96-37, Technical University Berlin, Computer Science Department, 1996.","DOI":"10.1007\/BFb0022202"},{"key":"11_CR9","first-page":"172","volume-title":"LNCS 1091","author":"R. German","year":"1996","unstructured":"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\u2013191, Osaka, Japan, Springer-Verlag, LNCS 1091, 1996."},{"key":"11_CR10","unstructured":"IEEE. P802.11. Draft Standard for Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification, May 1996."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Springer-Verlag, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"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\u201330, 1995.","DOI":"10.1109\/PNPM.1995.524312"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"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\u2013237, Springer-Verlag.","DOI":"10.1007\/978-3-7091-9123-1_10"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"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\u2013115, 1996.","DOI":"10.1109\/IPDS.1996.540212"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:07:50Z","timestamp":1736082470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631019","9783540691310"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0022202","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}