{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T14:38:23Z","timestamp":1759588703433,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540658702"},{"type":"electronic","value":"9783540489115"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/bfb0097773","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T14:28:04Z","timestamp":1164378484000},"page":"69-92","source":"Crossref","is-referenced-by-count":1,"title":["The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets"],"prefix":"10.1007","author":[{"given":"Geoffrey","family":"Wheeler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,26]]},"reference":[{"key":"3_CR1","unstructured":"Distributed Queue Dual Bus (DQDB) Subnetwork of a Metropolitan Area Network (MAN), IEEE P802.6\/D15, October 1 1990. Final draft, approved by IEEE standards board on December 6, 1990."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets\u2014An Introduction, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"3_CR3","unstructured":"K. Jensen. Coloured Petri Nets\u2014Basic Concepts, Analysis Methods and Practical Use, Volume 1: Basic Concepts, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992."},{"key":"3_CR4","unstructured":"G. Wheeler. The Configuration Control Protocol of IEEE 802.6 in Coloured Petri Nets, Telecom Australia Research Laboratories Report 8134, May 1992."},{"key":"3_CR5","unstructured":"G. Wheeler, A. Valmari and J. Billington. Baby TORAS Eats Philosophers but Thinks about Solitaire, Proceedings of the Fifth Australian Software Engineering Conference, Sydney, 22\u201325 May 1990, p. 283\u2013288, ISBN 0 909394 21 0."},{"key":"3_CR6","unstructured":"G.J. Holzmann. Design and Validation of Computer Protocols, Prentice-Hall, 1991."},{"key":"3_CR7","unstructured":"\u212b. Wikstr\u00f6m. Functional Programming Using Standard ML, Prentice-Hall, 1987."},{"key":"3_CR8","unstructured":"R. Milner, M. Tofte and R. Harper. The Definition of Standard ML, MIT Press, 1990."},{"key":"3_CR9","volume-title":"Introduction to Standard ML","author":"R. Harper","year":"1990","unstructured":"R. Harper. Introduction to Standard ML, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, September 1990."},{"key":"3_CR10","unstructured":"Design\/CPN: A Reference Manual, version 1.75, Meta Software Corporation, June 1991."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"J. Billington. Many-sorted High-level Nets, Proceedings of the Third International Workshop on Petri Nets and Performance Models, Kyoto, 11\u201313 December 1989, pp. 166\u2013179, IEEE CS Press.","DOI":"10.1109\/PNPM.1989.68550"},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/3-540-53863-1_30","volume":"483","author":"P. Huber","year":"1991","unstructured":"P. Huber, K. Jensen and R. Shapiro. Hierarchies in Coloured Petri Nets, Advances in petri Nets 1990, LNCS 483, pp. 313\u2013341, Springer-Verlag, 1991.","journal-title":"Advances in petri Nets 1990, LNCS"}],"container-title":["Lecture Notes in Computer Science","Application of Petri Nets to Communication Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0097773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T04:25:05Z","timestamp":1736655905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0097773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658702","9783540489115"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0097773","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}