{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:07:27Z","timestamp":1775052447116,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540568636","type":"print"},{"value":"9783540477594","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_40","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:43:00Z","timestamp":1330256580000},"page":"49-68","source":"Crossref","is-referenced-by-count":2,"title":["A subset of Lotos with the computational power of Place\/Transition-nets"],"prefix":"10.1007","author":[{"given":"Michel","family":"Barbeau","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Bochmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","unstructured":"P. Azema, G. Juanole, E. Sanchis, M. Montbernard, Specification and Verification of Distributed Systems Using Prolog Interpreted Petri Nets, 7th International Conference on Software Engineering, 1984."},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1090\/dimacs\/003\/10","volume":"3","author":"M. Barbeau","year":"1991","unstructured":"M. Barbeau, G. v. Bochmann, Extension of the Karp and Miller Procedure to Lotos Specifications, Computer Aided Verification'90, ACM\/AMS DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 3, 1991, pp. 103\u2013119; and Springer-Verlag, LNCS 531, pp. 333\u2013342.","journal-title":"Computer Aided Verification'90, ACM\/AMS DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"M. Barbeau, G. v. Bochmann, The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach, Workshop on Computer-aided verification, Aalborg, Danemark, 1991; and Springer-Verlag, LNCS 575.","DOI":"10.1007\/3-540-55179-4_11"},{"issue":"No.1","key":"5_CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi, E. Brinksma, Introduction to the ISO Specification Language Lotos, Computer Networks and ISDN Systems, Vol. 14, No. 1, 1987, pp. 25\u201359.","journal-title":"Computer Networks and ISDN Systems"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"T. Bolognesi, A Graphical Composition Theorem for Networks of Lotos Processes, Proceedings of Distributed Computing Systems, Paris, May\u2013June 1990, pp. 88\u201395.","DOI":"10.1109\/ICDCS.1990.89288"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"G. Boudol, G. Roucairol, R. de Simone, Petri Nets and Algebraic Calculi of Processes, Advances in Petri Nets, 1985, pp. 41\u201358.","DOI":"10.1007\/BFb0016205"},{"key":"5_CR7","volume-title":"R\u00e9seaux de Petri: Th\u00e9orie et Pratique \u2014 T.1. Th\u00e9orie et analyse","author":"G. W. Brams","year":"1983","unstructured":"G. W. Brams, R\u00e9seaux de Petri: Th\u00e9orie et Pratique \u2014 T.1. Th\u00e9orie et analyse, Masson, Paris, 1983."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"F. de Cindio, G. de Michelis, L. Pomello, C. Simone, Milner's Communicating Systems and Petri Nets, in: A. Pagnoni, G. Rozenberg (Eds.), Application and Theory of Petri Nets, Springer-Verlag, IFB 66, 1983, pp. 40\u201359.","DOI":"10.1007\/978-3-642-69028-0_4"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"P. Degano, R. de Nicola, U. Montanari, A Distributed Operational Semantics for CCS Based on Condition\/Event Systems, Acta Informatica, Vol. 26, 1988, pp. 59\u201391.","journal-title":"Acta Informatica"},{"key":"5_CR10","unstructured":"H. Garavel, E. Najm, Tilt: From Lotos to Labelled Transition Systems, in: P. H. J. van Eijk, C. A. Vissers, M. Diaz (Eds.), The Formal Description Technique Lotos, North-Holland, 1989, pp. 327\u2013336."},{"key":"5_CR11","first-page":"359","volume":"X","author":"H. Garavel","year":"1990","unstructured":"H. Garavel, J. Sifakis, Compilation and Verification of Lotos Specifications, PSTV X, Ottawa, 1990, pp. 359\u2013376.","journal-title":"PSTV"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek, F. W. Vaandrager, Petri Net Models for Algebraic Theories of Concurrency, Proceedings of PARLE, Vol. II, LNCS 259, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"U. Goltz, A. Mycroft, On the Relationship of CCS and Petri Nets, in: J. Paredaens (Ed.), Proceedings of ICALP 84, LNCS 172, Springer-Verlag, 1984, pp. 196\u2013208.","DOI":"10.1007\/3-540-13345-3_18"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"U. Goltz, W. Reisig, CSP-Programs as Nets with Individual Tokens, in: G. Rozenberg (Ed.), Advances in Petri Nets 1984, LNCS 188, Springer-Verlag, 1985, pp. 169\u2013196.","DOI":"10.1007\/3-540-15204-0_11"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"U. Goltz, On Representing CCS Programs by Finite Petri Nets, in: M. Chytil et al. (Eds.), Mathematical Foundations of Computer Science 1988, LNCS 324, Springer-Verlag, 1988, pp. 339\u2013350.","DOI":"10.1007\/BFb0017157"},{"key":"5_CR16","unstructured":"R. Gotzhein, Specifying Abstract Data Types with Lotos, Proc. of PSTV VI, Montr\u00e9al, 1986."},{"key":"5_CR17","unstructured":"ISO, Lotos \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behavior, IS 8807, E. Brinksma (Ed.), 1988."},{"key":"5_CR18","first-page":"285","volume":"25","author":"T. Kasai","year":"1982","unstructured":"T. Kasai, R. E. Miller, Homomorphisms Between Models of Parallel Computation, J.C.S.S., Vol. 25, 1982, pp. 285\u2013331.","journal-title":"J.C.S.S."},{"key":"5_CR19","unstructured":"S. Marchena, G. Leon, Transformation from Lotos Specs to Galileo Nets, in: K. J. Turner (Ed.), Formal Description Techniques, North-Holland, 1989."},{"key":"5_CR20","unstructured":"M. Nielsen, CCS and its Relationship to Net Theory, in: W. Brauer, Advances in Petri Nets 1986, Part II, LNCS 255, Springer-Verlag, 1986."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog, Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationships, Cambridge Tracts in Theoretical Computer Science 23, Cambridge University Press, 1991.","DOI":"10.1017\/CBO9780511526589"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"D. M. R. Park, Concurrency and Automata on Infinite Sequences, Proceedings of 5th GI Conf. on Theoretical Computer Science, LNCS 104, Springer-Verlag, 1981, pp. 167\u2013183.","DOI":"10.1007\/BFb0017309"},{"key":"5_CR23","unstructured":"J. L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice Hall, 1981."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"W. Reisig, Partial Order Semantics Versus Interleaving Semantics for CSP-like Languages and Its Impact on Fairness, in: G. Goos, J. Hartmanis, 11th Colloquium on Automata, Languages and Programming, LNCS 172, Springer-Verlag, 1984, pp. 403\u2013413.","DOI":"10.1007\/3-540-13345-3_37"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"D. Taubner, Finite Representation of CCS and TCSP Programs by Automata and Petri Nets, LNCS 369, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51525-9"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:55:45Z","timestamp":1742594145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}