{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:12:08Z","timestamp":1767262328888,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425564"},{"type":"electronic","value":"9783540448044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44804-7_13","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T18:22:41Z","timestamp":1184955761000},"page":"200-215","source":"Crossref","is-referenced-by-count":15,"title":["Implementing a Stochastic Process Algebra within the M\u00f6bius Modeling Framework"],"prefix":"10.1007","author":[{"given":"Graham","family":"Clark","sequence":"first","affiliation":[]},{"given":"William H.","family":"Sanders","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"13_CR1","unstructured":"J. M. Doyle, \u201cAbstract model specification using the M\u00f6bius modeling tool,\u201d M.S. thesis, University of Illinois at Urbana-Champaign, 2000."},{"key":"13_CR2","unstructured":"G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster, \u201c The Mobius modeling tool,\u201d in Proc. of PNPM\u201901: 10th International Workshop on Petri Nets and Performance Models, Aachen, Germany (to appear), September 2001."},{"key":"13_CR3","unstructured":"J. F. Meyer, A. Movaghar, and W. H. Sanders, \u201cStochastic activity networks: Structure, behavior and applications,\u201d Proc. International Workshop on Timed Petri Nets, pp. 106\u2013115, 1985."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"J. Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511569951"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"W. H. Sanders, \u201cIntegrated frameworks for multi-level and multi-formalism modeling,\u201d in Proc. PNPM\u201999: 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 1999, pp. 2\u20139.","DOI":"10.1109\/PNPM.1999.796527"},{"key":"13_CR6","unstructured":"D. Deavours and W. H. Sanders, \u201cMobius: Framework and atomic models,\u201d in Proc. PNPM\u201901: 10th International Workshop on Petri Nets and Performance Models, Aachen, Germany (to appear), September 2001."},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0166-5316(95)00012-M","volume":"24","author":"W. H. Sanders","year":"1995","unstructured":"W. H. Sanders, W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko, \u201cThe ultrasan modeling environment,\u201d Performance Evaluation, vol. 24, No. 1, pp. 89\u2013115, October\u2013November 1995.","journal-title":"Performance Evaluation"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/49.64901","volume":"9","author":"W. H. Sanders","year":"1991","unstructured":"W. H. Sanders and J. F. Meyer, \u201cReduced base model construction methods for stochastic activity networks, \u201d IEEE Journal on Selected Areas in Communications, vol. 9, No. 1, pp. 25\u201336, Jan. 1991.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"13_CR9","unstructured":"D. Montgomery, Design and Analysis of Experiments, John Wiley & Sons, Inc., 5th edition, 2001."},{"key":"13_CR10","unstructured":"R. Milner, Communication and Concurrency, International Series in Computer Science. Prentice Hall, 2nd edition, 1989."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma, \u201cIntroduction to the ISO specification language LOTOS,\u201d Computer Networks and ISDN Systems, vol. 14, pp. 25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"13_CR12","unstructured":"H. Hermanns and M. Rettelbach, \u201cToward a superset of basic LOTOS for performance prediction,\u201d Proc. of 4th Workshop on Process Algebras for Performance Modelling (PAPM), pp. 77\u201394, 1996."},{"key":"13_CR13","volume-title":"Theory and Application of Extended Markovian Process Algebra","author":"M. Bernardo","year":"1999","unstructured":"M. Bernardo, Theory and Application of Extended Markovian Process Algebra, Ph.D. thesis, University of Bologna, Italy, 1999."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"S. Gilmore, J. Hillston, and M. Ribaudo, \u201cAn efficient algorithm for aggregating PEPA models,\u201d IEEE Transactions on Software Engineering, 2001.","DOI":"10.1109\/32.922715"},{"key":"13_CR15","unstructured":"J. Hillston, \u201cThe nature of synchronisation,\u201d Proc. of 2nd Workshop on Process Algebras for Performance Modelling (PAPM), pp. 51\u201370, 1994."},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-58152-9_15","volume-title":"Application and Theory of Petri Nets 1994","author":"S. Donatelli","year":"1994","unstructured":"S. Donatelli, \u201cSuperposed generalized stochastic Petri nets: Definition and efficient solution,\u201d in Application and Theory of Petri Nets 1994, Lecture Notes in Computer Science 815 (Proc. 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain), R. Valette, Ed., pp. 258\u2013277. Springer-Verlag, June 1994."},{"key":"13_CR17","unstructured":"I. Rojas, Compositional Construction of SWN Models, Ph.D. thesis, The University of Edinburgh, 1997."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and M. Koutny, Petri Net Algebra, Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, 2000.","DOI":"10.1007\/978-3-662-04457-5"},{"key":"13_CR19","unstructured":"W. D. Obal II, Measure-Adaptive State-Space Construction Methods, Ph.D. thesis, The University of Arizona, 1998."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"W. J. Stewart, Introduction to the Numerical Solution of Markov Chains, Princeton University Press, 1994.","DOI":"10.1515\/9780691223384"}],"container-title":["Lecture Notes in Computer Science","Process Algebra and Probabilistic Methods. Performance Modelling and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44804-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T20:47:05Z","timestamp":1737319625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44804-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425564","9783540448044"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44804-7_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}