{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:52:40Z","timestamp":1771026760869,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672609","type":"print"},{"value":"9783540464297","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46429-8_19","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:52:33Z","timestamp":1192891953000},"page":"262-276","source":"Crossref","is-referenced-by-count":22,"title":["Derivation of Petri Net Performance Models from UML Specifications of Communications Software"],"prefix":"10.1007","author":[{"given":"Peter","family":"King","sequence":"first","affiliation":[]},{"given":"Rob","family":"Pooley","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"issue":"5","key":"19_CR1","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"K. Bartlett","year":"1969","unstructured":"K. Bartlett, R. Scantlebury, and W. Wilkinson. A note on reliable full-duplex transmission over half-duplex links. Communications of the ACM, 12(5):260\u2013261, 1969.","journal-title":"Communications of the ACM"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"G. Ciardo, J. Muppala, and K. Trivedi. SPNP: Stochastic petri net package. In Proceedings of 3rd International Workshop on Petri Nets and Performance, pages 142\u2013151, Kyoto, Japan, 1989.","DOI":"10.1109\/PNPM.1989.68548"},{"key":"19_CR3","unstructured":"Martin Fowler with Kendall Scott. UML Distilled. Addison-Wesley, 1997."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"19_CR5","unstructured":"Steven Hargreaves. Simulating UML models. Master\u2019s thesis, University of Edinburgh, 1998."},{"key":"19_CR6","unstructured":"H. Hermanns, V. Mertsiotakis, and M. Rettelbach. Performance analysis of distributed systems using TIPP-a case study. In Jane Hillston, Rob Pooley, and Peter King, editors, UKPEW\u2019 94, pages 131\u2013144, Edinburgh University, September 1994. UK Performance Engineering Workshop."},{"key":"19_CR7","volume-title":"ITU-TS Recommendation Z.120: Message Sequence Chart (MSC)","author":"ITU.","year":"1996","unstructured":"ITU. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, 1996."},{"key":"19_CR8","unstructured":"Carina Kabajunga. Support for the unified modelling language design paradigm. Master\u2019s thesis, Computer Science, University of Edinburgh, 1997."},{"key":"19_CR9","unstructured":"Carina Kabajunga and Rob Pooley. Simulating UML sequence diagrams. In Rob Pooley and Nigel Thomas, editors, UK PEW 1998, pages 198\u2013207. UK Performance Engineering Workshop, July 1998."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"P. K\u00e4hkipuro. UML based performance modelling framework for object-oriented distributed systems. In UML\u2019 99 \u2014 The Unified Modeling Language: Beyond the Standard, 1999.","DOI":"10.1007\/3-540-46852-8_26"},{"key":"19_CR11","unstructured":"Peter King and Rob Pooley. Using UML to derive stochastic Petri net models. In N. Davies and J. Bradley, editors, UKPEW\u2019 99, University of Bristol, July 1999. UK Performance Engineering Workshop."},{"issue":"9","key":"19_CR12","first-page":"913","volume":"C-31","author":"M. A. Marsan","year":"1984","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalised stochastic Petri nets for the performance evaluation of multi-processor systems. ACM Trans. Comp. Systems, C-31(9):913\u2013917, September 1984.","journal-title":"ACM Trans. Comp. Systems"},{"key":"19_CR13","unstructured":"Robin Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989."},{"key":"19_CR14","unstructured":"OMG. http:\/\/www.rational.com\/uml\/documentation.html ."},{"key":"19_CR15","unstructured":"J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981."},{"key":"19_CR16","unstructured":"Rob Pooley. Using uml to derive stochastic process algebra models. In N. Davies and J. Bradley, editors, UKPEW\u2019 99, Proceedings of the Fifteenth UK Performance Engineering Workshop, pages 23\u201333, Bristol, July 1999. UKPEW."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Rob Pooley and Peter King. The unified modeling language and performance engineering. IEE Proceedings-Software, 1999.","DOI":"10.1049\/ip-sen:19990151"},{"key":"19_CR18","unstructured":"Rob Pooley and Perdita Stevens. Component Based Software Engineering with UML. Addison-Wesley, November 1998."},{"key":"19_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022203","volume-title":"Computer Performance Evaluation-Modelling Techniques and Tools, 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation","author":"C. U. Smith","year":"1997","unstructured":"Connie U. Smith and Lloyd G. Williams. Performance engineering evaluation of object oriented systems with SPE\u00b7ED. In R. Marie et al., editor, Computer Performance Evaluation-Modelling Techniques and Tools, 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 1245 in LNCS. Springer, 1997. St Malo."},{"key":"19_CR20","unstructured":"G. Waters, P. Linington, D. Akehurst, and A. Symes. Communications software performance prediction. In Demetres Kouvatsos, editor, 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems, pages 38\/1\u201338\/9, Ilkley, West Yorkshire, July 1997. BCS Performance Engineering Specialist Group."},{"key":"19_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/BFb0024309","volume-title":"Computer Performance Evaluation-Modelling Techniques and Tools, 8th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation","author":"L. G. Williams","year":"1995","unstructured":"Lloyd G. Williams and Connie U. Smith. Information requirements for software performance engineering. In H. Beilner and F. Bause, editors, Computer Performance Evaluation-Modelling Techniques and Tools, 8th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 977 in LNCS, pages 86\u2013101. Springer, 1995. Heidelberg."}],"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\/3-540-46429-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:57:28Z","timestamp":1737489448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46429-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672609","9783540464297"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-46429-8_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}