{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:09:08Z","timestamp":1725455348000},"publisher-location":"Berlin\/Heidelberg","reference-count":44,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540164804"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016225","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:17:27Z","timestamp":1131841047000},"page":"435-452","source":"Crossref","is-referenced-by-count":13,"title":["Protocol analysis using Numerical Petri Nets"],"prefix":"10.1007","author":[{"given":"G. R.","family":"Wheeler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. C.","family":"Wilbur-Ham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Billington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. A.","family":"Gilmour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Antilla M., Eriksson H., Ikonen J., Kujansuu R., Ojala L., Tuominen H., \"Tools and Studies of Formal Techniques \u2014 Petri Nets and Temporal Logic\", pp. 139\u2013148 of [Rudi 83]."},{"key":"23_CR2","unstructured":"Barrett W.A., Couch J.D., \"Compiler Construction: Theory and Practice\", Chapter 3, SRA, 1979."},{"key":"23_CR3","unstructured":"Bearman M.Y., Wilbur-Ham M.C., Billington J., \"A Formal Specification of the OSI Class O Transport Protocol using NPNs\", Telecom Australia Research Laboratories Report 7736, October 1984."},{"key":"23_CR4","unstructured":"Bearman M.Y., Wilbur-Ham M.C., Billington J., \"Analysis of the OSI Class O Transport Protocol\", Draft Telecom Australia Research Laboratories Report 7737, September 1985."},{"key":"23_CR5","unstructured":"Bearman M.Y., Wilbur-Ham M.C., Billington J., \"Some Results of Verifying the OSI Class O Transport Protocol\", presented at ICCC'84, Sydney 30 October \u2014 2 November 1984."},{"key":"23_CR6","unstructured":"Billington J., \"Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets\", pp. 173\u2013185 of [Rudi 83]."},{"key":"23_CR7","unstructured":"Billington J., Wilbur-Ham M.C. and Bearman M.Y. \"Automated Protocol Verification\", in [IFIP 85]."},{"volume-title":"\"Net Theory and Applications\", LNCS Vol. 84","year":"1980","key":"23_CR8","unstructured":"Brauer W. (ed.), \"Net Theory and Applications\", LNCS Vol. 84, Springer-Verlag, Berlin, 1980."},{"key":"23_CR9","unstructured":"Burkhardt H.J., Eckert H. and Prinoth R., \"Modelling of OSI-Communication Services and Protocols using Predicate\/Transition Nets\", in [Yemi 84]."},{"key":"23_CR10","unstructured":"CCITT, \"I \u2014 Series Recommendations\", COM XVIII-228, March 1984."},{"key":"23_CR11","unstructured":"CCITT, \"ISDN User-Network Interface Data Link Layer Specification\", Draft Recommendation Q.921 (I.441), Question 13, Working Party XI\/6, Issue 7, January 1984."},{"key":"23_CR12","unstructured":"CCITT, \"ISDN User-Network Interface Data Link Layer Specification\", Draft Recommendation Q.921 (I.441), Question 13, Working Party XI\/6, Issue 8, May 1984."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Courtiat J.P., Ayache J.M. and Algayres B., \"Petri Nets are Good for Protocols\", SIGCOMM '84 Tutorials and Symposium, Communications Architectures and Protocols, Montreal, Canada, pp. 66\u201374, June 1984.","DOI":"10.1145\/800056.802062"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1016\/0376-5075(82)90112-X","volume":"6","author":"M. Diaz","year":"1982","unstructured":"Diaz M., \"Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models\", Computer Networks, 6, pp. 419\u2013441, 1982.","journal-title":"Computer Networks"},{"key":"23_CR15","unstructured":"Dijkstra E.W., A Discipline of Programming, Prentice Hall, 1976."},{"key":"23_CR16","unstructured":"Eades P.D., Wormald N.C., \"An NP-hard Graph Drawing Problem\", Department of Computer Science, University of Queensland, 1984."},{"key":"23_CR17","unstructured":"Eckert H., Prinoth R., \"Automated Proofing of Communication Protocols against Communication Services\", Proceedings of ICCC'82, London 1982, pp. 925\u2013930."},{"key":"23_CR18","unstructured":"Eckert H. Prinoth R., \"A Computation-Systems based Method for Automated Proving of Protocols against Services\", pp. 213\u2013228 of [Rudi 83]."},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Genrich H.J. and Lautenbach K., \"The Analysis of Distributed Systems by means of Predicate\/Transition-Nets\", Semantics of Concurrent Computation, Evian, 1979 in Lecture Notes in Computer Science 70, pp. 123\u2013146, Springer-Verlag, 1979.","DOI":"10.1007\/BFb0022467"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"Genrich H.J., and Lautenbach K., \"System Modelling with High-level Petri Nets\", Theoretical Computer Science, 13, pp. 109\u2013136, 1981.","journal-title":"Theoretical Computer Science"},{"key":"23_CR21","unstructured":"Gilmour J.A., Wilbur-Ham M.C., Gaylard N., Bearman M. \"PROTEAN Program Documentation as at May 1985\", Telecom Australia Working Document, 1985."},{"key":"23_CR22","unstructured":"Preprints of IFIP WG6.1, Fifth International Workshop on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, 10\u201313 June, 1985."},{"key":"23_CR23","unstructured":"ISO\/TC97, \"Information Processing Systems \u2014 Open Systems Interconnection \u2014 Basic Reference Model\", ISO\/DIS 7498, April 1982."},{"key":"23_CR24","unstructured":"ISO\/TC97, \"Information Processing Systems \u2014 Open Systems Interconnection \u2014 Connection Oriented Transport Protocol Specification\", ISO\/DIS 8073, December 1983."},{"key":"23_CR25","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jensen K., \"Coloured Petri Nets and the Invariant-Method\", Theoretical Computer Science, 14, pp. 317\u2013336, 1981.","journal-title":"Theoretical Computer Science"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Jensen K., \"High-Level Petri Nets\", Proceedings of the Third European Workshop on Application and Theory of Petri Nets, Varenna, Italy, Varenna, Italy, September, 1982 in Informatik-Fachberichte, 66, pp. 166\u2013180, 1983.","DOI":"10.1007\/978-3-642-69028-0_12"},{"key":"23_CR27","unstructured":"Kim N., \"Some Problems in the SDL Specification of P1 Signalling Scheme and Proposed Solutions\", Issue 2, Telecom Australia Internal Minute, 5 October 1984."},{"key":"23_CR28","unstructured":"Kim N., \"Protocol Analysis of Signalling System No. 7 Level 3\", Telecom Australia Research Laboratories Report 7652, 1985."},{"key":"23_CR29","unstructured":"Morgan E.T. and Razouk R., \"Computer-Aided Analysis of Concurrent Systems\", in [IFIP 85]."},{"key":"23_CR30","unstructured":"Rayner D. (ed), \"Protocol Testing \u2014 Towards Proof?\", 1st IFIP Protocol Workshop, NPL, UK, May 1981."},{"key":"23_CR31","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-642-69028-0_16","volume":"66","author":"W. Reisig","year":"1983","unstructured":"Reisig W., \"Petri Nets with Individual Tokens\", Proceedings of the Third European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September, 1982 in Informatik-Fachberichte, 66, pp. 229\u2013249, 1983.","journal-title":"1982 in Informatik-Fachberichte"},{"volume-title":"Protocol Specification, Testing and Verification, III","year":"1983","key":"23_CR32","unstructured":"Rudin H., West C.H. (eds), Protocol Specification, Testing and Verification, III, Proc. IFIP WG6.1, Third International Workshop on Protocol Specification, Testing and Verification, Ruschlikon, Switzerland, 31 May-2 June, 1983, Elsevier Science Publishers B.V., Amsterdam, 1983."},{"key":"23_CR33","doi-asserted-by":"crossref","unstructured":"Sunshine C. (ed) Protocol Specification, Testing and Verification, Proc. IFIP WG6.1, Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, 17\u201320 May, 1982, North Holland, 1982.","DOI":"10.1016\/0376-5075(82)90113-1"},{"key":"23_CR34","unstructured":"Symons F.J.W., \"Modelling and Analysis of Communication Protocols using Petri Nets\", Dept. of Elec. Eng. Sci. Telecommunication Systems Group Report, No. 140, University of Essex, July 1976."},{"key":"23_CR35","unstructured":"Symons F.J.W., \"Modelling and Analysis of Communication Protocols using Numerical Petri Nets\", Ph.D. Thesis, University of Essex, being Dept. of Elec. Eng. Sci. Telecommunication Systems Group Report, No. 152, May 1978."},{"key":"23_CR36","unstructured":"Symons F.J.W., \"Representation, Analysis and Verification of Communication Protocols\", Telecom Australia Research Laboratories Report 7380, 1980."},{"key":"23_CR37","unstructured":"Symons F.J.W., \"The Application of Petri Nets and Numerical Petri Nets\", Telecom Australia Research Laboratories Report 7520, January 1982."},{"key":"23_CR38","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/BF01931370","volume":"16","author":"J.L. Szwarcfiter","year":"1976","unstructured":"Szwarcfiter J.L., Lauer P.E., \"A Search Strategy for Elementary Cycles of a directed graph\", Bit 16(1976), pp. 192\u2013204.","journal-title":"Bit"},{"key":"23_CR39","unstructured":"Telecom Australia, \"T6 Line Signalling Functions Facility Specification\", FS2756, Internal Document, T.S.P. Branch, Telecom Australia, 1981."},{"key":"23_CR40","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","volume":"62","author":"R. Valk","year":"1978","unstructured":"R. Valk, \"Self-Modifying Nets, a Natural Extension of Petri Nets\", Automata, Languages and Programming, Udine, Lecture Notes in Computing Science 62, pp. 464\u2013476, 1978.","journal-title":"Automata, Languages and Programming, Udine, Lecture Notes in Computing Science"},{"key":"23_CR41","unstructured":"Wheeler G.R., \"Numerical Petri Nets \u2014 A Definition\", Research Laboratories Report 7780, Telecom Australia Research Laboratories, May 1985."},{"key":"23_CR42","unstructured":"Wilbur-Ham M.C., \"Numerical Petri Nets \u2014 A Simple Guide\", Research Laboratories Report 7791, Telecom Australia Research Laboratories, June 1985."},{"key":"23_CR43","unstructured":"Wilbur-Ham M.C., Gilmour J.A., Billington J., Gaylard N. and Bearman M., \"Protean User's Manual-Version 4.1\", Working Document, Switching and Signalling Branch, Telecom Australia Research Laboratories, August 1985."},{"key":"23_CR44","unstructured":"Yemini Y. (ed), Preprints of the Fourth IFIP International Workshop on Protocol Specification, Testing and Verification, Skytop, Pennsylvania, June 11\u201314, 1984."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1985"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016225.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T06:54:38Z","timestamp":1683269678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540164804"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/bfb0016225","relation":{},"subject":[]}}