{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:53:38Z","timestamp":1778298818238,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540658702","type":"print"},{"value":"9783540489115","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/bfb0097772","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T09:28:04Z","timestamp":1164360484000},"page":"37-68","source":"Crossref","is-referenced-by-count":2,"title":["The incremental modelling of the Z39.50 protocol with object petri nets"],"prefix":"10.1007","author":[{"given":"Charles","family":"Lakos","sequence":"first","affiliation":[]},{"given":"John","family":"Lamp","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,26]]},"reference":[{"key":"2_CR1","unstructured":"ANSI Z39.50: Information Retrieval Service and Protocol ANSI\/NISO Z39.50-1992 (version 2), American National Standards Institute (1992)."},{"key":"2_CR2","unstructured":"ANSI Information Retrieval (Z39.50): Application Service Definition and Protocol Specification ANSI\/NISO Z39.50-1995 (version 3), American National Standards Institute (1995)."},{"key":"2_CR3","unstructured":"Apple Corporation MacApp Reference Manual (1992)."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"M. Baldassari and G. Bruno An Environment for Object-Oriented Conceptual Programming Based on PROT Nets Advances in Petri Nets 1988, G. Rozenberg (ed.), Lecture Notes in Computer Science 340, pp 1\u201319, Springer Verlag (1988).","DOI":"10.1007\/3-540-50580-6_21"},{"key":"2_CR5","unstructured":"E. Battiston, A. Chizzoni, and F. de Cindio Inheritance and Concurrency in CLOWN Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995)."},{"key":"2_CR6","unstructured":"E. Battiston, F. de Cindio, and G. Mauri OBJSA Nets: A Class of High-level Nets having Objects as Domains Advances in Petri Nets 1988, G. Rozenberg (ed.), Lecture Notes in Computer Science 340, pp 20\u201343, Springer-Verlag (1988)."},{"key":"2_CR7","series-title":"Proceedings of Protocol Specification, Testing and Verification","first-page":"325","volume-title":"Petri Nets Theory for the Correctness of Protocols","author":"G. Berthelot","year":"1982","unstructured":"G. Berthelot and R. Terrat Petri Nets Theory for the Correctness of Protocols Proceedings of Protocol Specification, Testing and Verification II, pp 325\u2013341, Los Angeles, North-Holland (1982)."},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1109\/32.4651","volume":"14","author":"J. Billington","year":"1988","unstructured":"J. Billington, G.R. Wheeler, and M.C. Wilbur-Ham PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. IEEE Transactions on Software Engineering, 14, 3, pp. 301\u2013316 (1988).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR9","unstructured":"D. Buchs and N. Guelfi CO-OPN: A Concurrent Object Oriented Petri Net Approach Proceedings of 12th International Conference on the Application and Theory of Petri Nets, Gjern, Denmark (1991)."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"S. Christensen and L. Petrucci Towards a Modular Analysis of Coloured Petri Nets Application and Theory of Petri Nets, K. Jensen (ed.), Lecture Notes in Computer Science 616, pp 113\u2013133, Springer-Verlag (1992).","DOI":"10.1007\/3-540-55676-1_7"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"S. Christensen and L. Petrucci Modular State Space Analysis of Coloured Petri Nets Application and Theory of Petri Nets, G.D. Michelis and M. Diaz (eds.), Lecture Notes in Computer Science 935, pp 201\u2013217 Springer-Verlag (1995).","DOI":"10.1007\/3-540-60029-9_41"},{"key":"2_CR12","series-title":"Proceedings of Protocol Specification, Testing and Verification","first-page":"419","volume-title":"Modelling and Analysis of Communication and Cooperation Protocols Using Petri net Based Models","author":"M. Diaz","year":"1982","unstructured":"M. Diaz Modelling and Analysis of Communication and Cooperation Protocols Using Petri net Based Models. Proceedings of Protocol Specification, Testing and Verification II, pp. 419\u2013441, Los Angeles, North-Holland (1982)."},{"key":"2_CR13","unstructured":"E.W. Dijkstra Notes on Structured Programming Structured Programming, O.J. Dahl, E.W. Dijkstra, and C.A.R. Hoare (eds.), pp. 1\u201382, Academic Press (1972)."},{"key":"2_CR14","first-page":"313","volume":"483","author":"P. Huber","year":"1990","unstructured":"P. Huber, K. Jensen, and R.M. Shapiro Hierarchies of Coloured Petri Nets Proceedings of 10th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science 483, pp 313\u2013341, Springer-Verlag (1990).","journal-title":"Proceedings of 10th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science"},{"key":"2_CR15","unstructured":"ISO Information Processing Systems-Open Systems Interconnection: Basic Reference Model International Organisation for Standardization and International Electrotechnical Committee (1984)."},{"key":"2_CR16","unstructured":"K. Jensen Coloured Petri Nets: A High Level Language for System Design and Analysis Advances in Petri Nets 1990, G. Rozenberg (ed.), Lecture Notes in Computer Science 483, Springer-Verlag (1990)."},{"key":"2_CR17","unstructured":"K. Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use-Volume 1: Basic Concepts EATCS Monographs in Computer Science, Vol. 26, Springer-Verlag (1992)."},{"key":"2_CR18","unstructured":"K. Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use-Volume 2: Analysis Methods EATCS Monographs on Theoretical Computer Science, Springer-Verlag (1994)."},{"key":"2_CR19","unstructured":"K. Jensen, S. Christensen, P. Huber, and M. Holla Design\/CPN TM : A Reference Manual MetaSoftware Corporation (1992)."},{"key":"2_CR20","unstructured":"P. Kimberley Electronic Data Interchange McGraw-Hill (1991)."},{"key":"2_CR21","first-page":"223","volume":"IX","author":"R. Lai","year":"1990","unstructured":"R. Lai, T.S. Dillon, and K.R. Parker Verification Results for ISO FTAM Basic Protocol Proceedings of Protocol Specification, Testing and Verification IX, pp 223\u2013234, North-Holland (1990).","journal-title":"Proceedings of Protocol Specification, Testing and Verification"},{"key":"2_CR22","series-title":"Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science","first-page":"338","volume-title":"A General Systematic Approach to Arc Extensions for Coloured Petri Nets","author":"C. Lakos","year":"1994","unstructured":"C. Lakos and S. Christensen A General Systematic Approach to Arc Extensions for Coloured Petri Nets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 338\u2013358, Zaragoza, Springer-Verlag (1994)."},{"key":"2_CR23","unstructured":"C.A. Lakos Object Petri Nets-Definition and Relationship to Coloured Nets Technical Report TR94-3, Computer Science Department, University of Tasmania (1994)."},{"key":"2_CR24","series-title":"Proceedings of 16th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science","first-page":"278","volume-title":"From Coloured Petri Nets to Object Petri Nets","author":"C.A. Lakos","year":"1995","unstructured":"C.A. Lakos From Coloured Petri Nets to Object Petri Nets Proceedings of 16th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 935, pp 278\u2013297, Torino, Italy, Springer-Verlag (1995)."},{"key":"2_CR25","unstructured":"C.A. Lokos The Object Orientation of Object Petri Nets Proceedings of Workshop on Object Oriented Programming and Models of Concurrency, Torino, Italy (1995)."},{"key":"2_CR26","series-title":"Proceedings of TOOLS Pacific 1995","first-page":"309","volume-title":"Progmatic Inheritance Issues for Object Petri Nets","author":"C.A. Lakos","year":"1995","unstructured":"C.A. Lakos Progmatic Inheritance Issues for Object Petri Nets Proceedings of TOOLS Pacific 1995, pp 309\u2013321, Melbourne, Australia, Prentice-Hall (1995)."},{"key":"2_CR27","series-title":"Proceedings of 17th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science","first-page":"380","volume-title":"The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets","author":"C.A. Lakos","year":"1996","unstructured":"C.A. Lakos The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets Proceedings of 17th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091, pp 380\u2013399, Osaka, Japan, Springer-Verlag (1996)."},{"key":"2_CR28","unstructured":"C.A. Lakos The LOOPN++User Manual Technical Report R96-1, Department of Computer Science, University of Tasmania (1996)."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"C.A. Lakos On the Abstraction of Coloured Petri Nets Proceedings of 18th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1248, Springer-Verlag (1997).","DOI":"10.1007\/3-540-63139-9_29"},{"key":"2_CR30","unstructured":"C.A. Lakos and C.D. Keen Modelling a Door Controller Protocol in LOOPN Proceedings of 10th European Conference on the Technology of Object-oriented Languages and Systems, Versailles, Prentice-Hall (1993)."},{"key":"2_CR31","unstructured":"C.A. Lakos, J.W. Lamp, C.D. Keen, and B.W. Marriott Modelling Network Protocols with Object Petri Nets Proceedings of Workshop on Petri Nets Applied to Protocols, pp 31\u201342, Torino, Italy (1995)."},{"key":"2_CR32","unstructured":"J.W. Lamp Encoding the ANSI Z39.50 Search and Retrieval Protocol using LOOPN Honours Thesis, Department of Computer Science, University of Tasmania (1994)."},{"key":"2_CR33","unstructured":"G.A. Lewis Producing Network Applications Using Object-Oriented Petri Nets Honours Thesis, Department of Computer Science, University of Tasmania (1996)."},{"key":"2_CR34","series-title":"Proceedings of OOPSLA 89, SIGPLAN Notices","first-page":"397","volume-title":"Virtual Classes: A Powerful Mechanism in Object-Oriented Programming","author":"O.L. Madsen","year":"1989","unstructured":"O.L. Madsen and B. M\u00f8ller-Pedersen Virtual Classes: A Powerful Mechanism in Object-Oriented Programming Proceedings of OOPSLA 89, SIGPLAN Notices 24, pp. 397\u2013406, New Orleans, Louisiana, ACM (1989)."},{"key":"2_CR35","unstructured":"B. Meyer Object-Oriented Software Construction Prentice Hall (1988)."},{"key":"2_CR36","unstructured":"J. Palsberg and M.I. Schwartzbach Object-Oriented Type Systems Wiley Professional Computing, Wiley (1994)."},{"issue":"12","key":"2_CR37","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"D.L. Parnas On the Criteria to be Used in Decomposing Systems into Modules CACM, 15, 12, pp 1053\u20131058 (1972).","journal-title":"CACM"},{"key":"2_CR38","unstructured":"M.T. Rose The Open Book: A Practical Perspective on OSI Prentice-Hall (1990)."},{"key":"2_CR39","series-title":"Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science","first-page":"471","volume-title":"Cooperative Nets","author":"C. Sibertin-Blanc","year":"1994","unstructured":"C. Sibertin-Blanc Cooperative Nets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 471\u2013490, Zaragoza, Spain, Springer-Verlag (1994)."},{"key":"2_CR40","unstructured":"B. Stroustrup The C++ Programming Language (Second Edition) Addison-Wesley (1991)."},{"key":"2_CR41","unstructured":"A. Valmari Stubborn Sets for Coloured Petri Nets Proceedings of 12th International Conference on the Application and Theory of Petri Nets, Aarhus (1991)."},{"key":"2_CR42","first-page":"531","volume":"815","author":"A. Valmari","year":"1994","unstructured":"A. Valmari Compositional analysis with place-bordered subnets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 531\u2013547, Zaragoza (1994).","journal-title":"Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science"},{"key":"2_CR43","volume-title":"Integrated Information Systems Design: An Approach Based on Object-Oriented Concepts and Petri Nets","author":"P.A.C. Verkoulen","year":"1993","unstructured":"P.A.C. Verkoulen Integrated Information Systems Design: An Approach Based on Object-Oriented Concepts and Petri Nets PhD Thesis, Technical University of Eindhoven, the Netherlands (1993)."},{"key":"2_CR44","unstructured":"J.M. Vlissides Generalized Graphical Object Editing Technical Report CSL-TR-90-427, Stanford University (1990)."},{"key":"2_CR45","series-title":"Proceedings of OOPSLA","first-page":"168","volume-title":"Dimensions of Object-Based Language Design","author":"P. Wegner","year":"1987","unstructured":"P. Wegner Dimensions of Object-Based Language Design Proceedings of OOPSLA 87, pp 168\u2013182, Orlando, Florida, ACM (1987)."},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"A. Weinand, E. Gamma, and R. Marty ET++-An Object-Oriented Application Framework in C++ Proceedings of OOPSLA 88 Conference, ACM (1988).","DOI":"10.1145\/62083.62089"}],"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\/BFb0097772","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T10:54:25Z","timestamp":1555930465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0097772"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658702","9783540489115"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/bfb0097772","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]}}}