{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:58Z","timestamp":1751983678282},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613633"},{"type":"electronic","value":"9783540685050"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61363-3_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:35:14Z","timestamp":1330274114000},"page":"153-171","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Designing and verifying a communications gateway using coloured Petri nets and design\/CPN\u2122"],"prefix":"10.1007","author":[{"given":"D. J.","family":"Floreani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Billington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Dadej","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"G. Juanole, C. Faure, \u201cOn Gateway for Interworking through ISDN: Architecture and Formal Modelling with Petri Nets\u201d, IEEE INFOCOM'89, Proceedings of the 8th Annual Joint Conference of the IEEE Computer and Communications Societies, 1989, pg 458\u2013467.","DOI":"10.1109\/INFCOM.1989.101487"},{"key":"9_CR2","unstructured":"G. Juanole, and A. Onodi,\u201cOn Gateway Architecture, Formal Modelling and Verification\u201d, Protocol Specification, Testing, and Verification, VI, Elsevier, IFIP 1987."},{"key":"9_CR3","unstructured":"Rainer Handel, Manfred N.Huber, \u201cIntegrated Broadband Networks, An introduction to ATM-based networks\u201d, ADDISON-WESLEY, 1991."},{"key":"9_CR4","unstructured":"F. B. Andrews and G. I. Kollar, \u201cThe Australian Defence Communications Corporate Plan and its Underpinning Research Program\u201d, NATO Symposium on Military Communication Networks Interoperability and Standards, The Hague, The Netherlands, June'93."},{"key":"9_CR5","unstructured":"D. J. Floreani and A. J. Dadej, \u201cAn Architecture for a Distributed Narrowband Packet Radio Network\u201d, Australian Telecommunications Research Journal (ATR), Vol.27 No.2, 1993."},{"key":"9_CR6","unstructured":"A. J. Dadej and D. J. Floreani, \u201cInterconnected Mobile Radio Networks \u2014 A Step Towards Integrated Multimedia Military Communications\u201d, Proc. IEEE International Conference on Networks, SICON'93, 6\u201311 Sept. 1993."},{"key":"9_CR7","unstructured":"Federal Standard, \u201cLPC-10\u201d, US Dept of Defence, MIL-STD-188-133."},{"key":"9_CR8","unstructured":"ITU-TS Q.2931, \u201cB-ISDN Capability Set 1 User-Network Interface Layer 3 Specification\u201d, Dec 1993, Geneva."},{"key":"9_CR9","first-page":"299","volume-title":"Encyclopedia of Microcomputers, Vol. 7","author":"J. Billington","year":"1991","unstructured":"J. Billington, Formal Specification of Protocols: Protocol Engineering, Encyclopedia of Microcomputers, Vol. 7, pg. 299\u2013314, Marcel Dekker, NY 1991."},{"key":"9_CR10","unstructured":"J. Billington and M. Wilbur-Ham, \u201cAutomated Protocol Verification\u201d, Protocol Specification, Testing, and Verification V, Elsevier, IFIP 1986."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"G. Holzmann, \u201cProtocol Design: Redefining the State of the Art\u201d, IEEE Software, Vol 9, No. 1, Jan 1992.","DOI":"10.1109\/52.108773"},{"key":"9_CR12","unstructured":"K. Jensen, \u201cColoured Petri Nets \u2014 Basic Concepts, Analysis Methods and Practical Use\u201d, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992."},{"key":"9_CR13","unstructured":"CCITT\/SGX\/WP3-1, \u201cSpecification and Description Language SDL\u201d, CCITT Recommendations Z.100-Z.104, 1988."},{"key":"9_CR14","unstructured":"CCITT\/COMXVIII-R\/WP18-4, \u201cISDN Protocol Reference Model\u201d, CCITT Revised Recommendation 1.320, 1992."},{"key":"9_CR15","unstructured":"D. J. Floreani and A. J. Dadej, \u201cApplication of the Stratification Concept to Radio Networks and their Gateways\u201d, to appear in Computer Networks and ISDN Systems, Elseiver."},{"key":"9_CR16","unstructured":"M.T. Rose, \u201cThe Open Book: A Practical Perspective on OSI\u201d, Prentice Hall, 1990."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"G.V. Bochmann \u201cDeriving Protocol Converters for Communications Gateways\u201d, IEEE Transactions on Communications, Vol. 38, No. 9, Sept 1990.","DOI":"10.1109\/26.61367"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"G.V Bochmann \u201cDesign Principles for Communication Gateways\u201d, IEEE Journal on Selected Areas in Communications, Vol. 8, No. 1, Jan 1990.","DOI":"10.1109\/49.46842"},{"key":"9_CR19","unstructured":"IS 8807, \u201cInformation Processing Systems, Open Systems Interconnection, LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour \u201d, ISO, 1989."},{"key":"9_CR20","unstructured":"CCITT\/SGX1\/WP4-3, \u201cBaseline Text for the Harmonised Signalling Requirements \u201d, Geneva, March 1992."},{"key":"9_CR21","unstructured":"CCITTQ.931, \u201cISDN User-Network Interface Layer 3 Specification for Basic Call Control\u201d, CCITTRe-commendation Q.931, Fascicle, Blue Book, Melbourne 1988."},{"key":"9_CR22","unstructured":"CCITT Recommendation X.213, Blue Book, Melbourne 1988."},{"key":"9_CR23","unstructured":"Design\/CPN\u2122 Manuals, Meta Software Corporation."},{"key":"9_CR24","unstructured":"Information processing systems \u2014 Open Systems Interconnection \u2014 Specification of Abstract Syntax Notation One (ASN.1), International Standard ISO-8824."},{"key":"9_CR25","unstructured":"A. Wikstrom, \u201cFunctional Programming using Standard ML\u201d, Prentice Hall International Series in Computer Science, 1987."},{"issue":"No.3","key":"9_CR26","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/32.4651","volume":"14","author":"J. Billington","year":"1988","unstructured":"J. Billington, G. Wheeler, M. Wilbur-Ham, \u201cPROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols\u201d, IEEE Transactions on Software Engineering, Vol 14, No. 3, March 1988, pp 301\u2013316.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR27","unstructured":"W. Barrett, R. Bates, D. Gustafson, J. Couch \u201cCompiler Construction \u2014 theory and practice\u201d, second edition, Science Research Associates, 1986."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1996"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61363-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:40:50Z","timestamp":1558255250000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61363-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613633","9783540685050"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-61363-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}