{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T10:44:27Z","timestamp":1743504267530},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668787"},{"type":"electronic","value":"9783540466697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46669-x_10","type":"book-chapter","created":{"date-parts":[[2007,8,4]],"date-time":"2007-08-04T08:50:23Z","timestamp":1186217423000},"page":"109-118","source":"Crossref","is-referenced-by-count":5,"title":["Modelling the WAP Transaction Service Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Steven","family":"Gordon","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"Billington","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"10_CR1","unstructured":"W. A. Barret and J. D. Couch. Compiler Construction: Theory and Practice. Science Research Associates, 1979."},{"key":"10_CR2","first-page":"173","volume-title":"Protocol Specification, Testing, and Verification","author":"J. Billington","year":"1983","unstructured":"J. Billington. Abstract specification of the ISO Transport service definition using labelled Numerical Petri nets. In H. Rudin and C. H. West, editors, Protocol Specification, Testing, and Verification, III, pages 173\u2013185. Elsevier Science Publishers, Amsterdam, New York, Oxford, 1983."},{"key":"10_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Application of Petri Nets to Communication Networks: Advances in Petri Nets","year":"1999","unstructured":"J. Billington, M. Diaz, and G. Rozenberg, editors. Application of Petri Nets to Communication Networks: Advances in Petri Nets. LNCS 1605. Springer-Verlag, Berlin Heidelberg New York, 1999."},{"key":"10_CR4","unstructured":"Meta Software. Design\/CPN Reference Manual, Version 2.0. 1993."},{"key":"10_CR5","unstructured":"WAP Forum. Wireless application protocol architecture specification. Available via: \n                    http:\/\/www.wapforum.org\/\n                    \n                  , Apr. 1998."},{"key":"10_CR6","unstructured":"WAP Forum. Wireless application protocol wireless transaction protocol specification. Available via: \n                    http:\/\/www.wapforum.org\/\n                    \n                  , Apr. 1998."},{"key":"10_CR7","unstructured":"ISO\/IEC. Information Technology\u2013Open Systems Interconnection\u2013Basic Reference Model\u2013Conventions for the Definition of OSI Services. 10731. 1994."},{"key":"10_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1-3. Springer-Verlag, Berlin, 1997."},{"key":"10_CR9","volume-title":"Design\/CPN Occurrence Graph Manual, Version 3.0","author":"K. Jensen","year":"1996","unstructured":"K. Jensen, S. Christensen, and L. M. Kristensen. Design\/CPN Occurrence Graph Manual, Version 3.0. Department of Computer Science, Aarhus University, Aarhus, Denmark, 1996."},{"issue":"2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L. M. Kristensen","year":"1998","unstructured":"L. M. Kristensen, S. Christensen, and K. Jensen. The practitioner\u2019s guide to Coloured Petri nets. Int J Software Tools for Technology Transfer, 2(2):98\u2013132, 1998.","journal-title":"Int J Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Mobile Data Access"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46669-X_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T22:05:53Z","timestamp":1550441153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46669-X_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668787","9783540466697"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-46669-x_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}