{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:48:03Z","timestamp":1725493683153},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661320"},{"type":"electronic","value":"9783540487456"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48745-x_19","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:12:59Z","timestamp":1193472779000},"page":"304-323","source":"Crossref","is-referenced-by-count":1,"title":["Trace Channel Nets"],"prefix":"10.1007","author":[{"given":"Jean","family":"Fanchon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"issue":"N5","key":"19_CR1","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1109\/90.336326","volume":"2","author":"P. Amer","year":"1994","unstructured":"Amer. P, Chassot. C, Conolly. T. J,Diaz. M., Conrad. P. Partial-order transport service for multimedia and other applications. IEEE\/ACM Transactions on Networking, Vol.2, N5, 440\u2013456, October 1994","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"Best. E, Devillers. R. Sequential and concurrent behaviour in Petri Nets theory. Theoretical Computer Science 55 (1987), 87\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0304-3975(96)00012-6","volume":"174","author":"P. Bracho","year":"1997","unstructured":"Bracho. P, Droste. M, Kuske. D. Representation of computations in concurrent automata by dependence orders. Theoretical Computer Science 174 (1997) 67\u201396.","journal-title":"Theoretical Computer Science"},{"key":"19_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-17660-8_52","volume-title":"CAAP 1987","author":"G. Boudol","year":"1987","unstructured":"Boudol. G, Castellani. I. On the semantics of concurrency:partial orders and transition systems. Lecture Notes in Computer Science, Vol. 249; CAAP 1987, 123\u2013137. Springer-Verlag, 1987."},{"key":"19_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-61363-3_5","volume-title":"ICATPN 96","author":"M. Benalycherif","year":"1996","unstructured":"Benalycherif. M, Girault. C. Behavioural and Structural Composition Rules Preserving Liveness by Synchronisation for Coloured FiFo Nets. Lecture Notes in Computer Science, Vol 1091; ICATPN 96, 73\u201392. Springer-Verlag, 1996."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Chassot. C. DDiaz. M, Lozes. A. From the partial order concept to partial order multimedia connections. Journal of High Speed Networks, vol. 5, n. 2, 1996.","DOI":"10.3233\/JHS-1996-5207"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1006\/inco.1996.0003","volume":"124","author":"G. Cece","year":"1996","unstructured":"Cece. G, Finkel. A, Purushotaman. S.Unreliable channels are easier to verify than perfect channels. Information and computation, vol.124 (1),20\u201331,1996.","journal-title":"Information and computation"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(94)00266-L","volume":"150","author":"M. Droste","year":"1995","unstructured":"Droste. M. Recognizable languages in concurrency monoids. Theoretical Computer Science 150 (1995), 77\u2013109.","journal-title":"Theoretical Computer Science"},{"key":"19_CR9","unstructured":"Droste. M, Kuske. D. Automata with concurrency relations, a survey. Workshop on Algebraic and Syntactic Aspects of Concurrency.P. Gastin and A. Petit eds. LITP 95\/48,1995."},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1006\/inco.1995.1010","volume":"116","author":"V. Diekert","year":"1995","unstructured":"Diekert. V, Gastin. P, Petit. A. Rational and recognizable complex trace languages. Information and Computation 116, 134\u2013153, 1995.","journal-title":"Information and Computation"},{"key":"19_CR11","series-title":"Lect Notes Comput Sci","first-page":"152","volume-title":"Advances in Petri Nets 1992","author":"J. A. F.-n. m. f. p. w. a. communication. Fanchon","year":"1992","unstructured":"Fanchon. J. A Fifo-net model for processes with asynchronous communication. Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, 152\u2013178. Springer-Verlag, 1992."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Fanchon. J.Trace Channel Nets.LAAS report 98463,November 1998.","DOI":"10.1007\/3-540-48745-X_19"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Fanchon. J, Boyer. M. Partial Order and Trace Channel Nets.LAAS report 98158, May 1998.","DOI":"10.1007\/3-540-48745-X_19"},{"key":"19_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BFb0036474","volume-title":"Fifo Nets: A New Model of Parallel Computation","author":"A. Finkel","year":"1982","unstructured":"Finkel. A, Memmi. G. Fifo Nets: A New Model of Parallel Computation. Lecture Notes in Computer Science, Vol. 145: 111\u2013121. Springer-Verlag, 1982."},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0304-3975(94)90254-2","volume":"125","author":"P. Gastin","year":"1991","unstructured":"Gastin. P, Petit. A, Zielonka. W. An extention of Kleene\u2019s and Ochmanski\u2019s theorems to infinite traces. Theoretical Computer Science 125 (1991), 167\u2013204.","journal-title":"Theoretical Computer Science"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J. Gischer","year":"1988","unstructured":"Gischer. J. The equational theory of pomsets. Theoretical Computer Science 61 (1988) 199\u2013224.","journal-title":"Theoretical Computer Science"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Grabowski. J. On partial Languages. Fundamenta Informaticae IV.2. (1981).","DOI":"10.3233\/FI-1981-4210"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Jensen. K. Coloured Petri Nets. Monographs in Theoretical Computer Science. Springer Verlag, 1995.","DOI":"10.1007\/978-3-662-03241-1"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1007\/BF01178730","volume":"31","author":"A. Kiehn","year":"1994","unstructured":"Kiehn. A. Comparing locality and causality based equivalences. Acta Informatica 31, 697\u2013718, 1994.","journal-title":"Acta Informatica"},{"key":"19_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Foundations of Computer Science","author":"A. Kiehn","year":"1998","unstructured":"Kiehn. A. Observing Partial Order Runs of Petri Nets. Lecture Notes in Computer Science, Vol 1337, Foundations of Computer Science, Springer-Verlag 1998."},{"key":"19_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028590","volume-title":"STACS 98","author":"K. Lodaya","year":"1998","unstructured":"Lodaya. K, Weil. P. Series-parallel pomsets:Algebra, Automata and Languages. STACS 98, Lecture Notes in Computer Science, Vol. 1373, Springer-Verlag 1998."},{"key":"19_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BFb0013025","volume-title":"Basic notions of trace theory","author":"A. Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz. A. Basic notions of trace theory. Lecture Notes in Computer Science, Vol. 354: 285\u2013363. Springer Verlag, 1989."},{"key":"19_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/3-540-56596-5_43","volume-title":"Relationships between models of concurrency","author":"M. Nielsen","year":"1993","unstructured":"Nielsen. M, Sassone. V, Winskel. G.Relationships between models of concurrency. Lecture Notes in Computer Science, Vol. 803, 425\u2013476. Springer-Verlag 1993."},{"key":"19_CR24","first-page":"56","volume":"27","author":"E. Ochmanski","year":"1985","unstructured":"Ochmanski. E. Regular behaviour of concurrent systems. Bulletin of the European Association for Theoretical Computer Science n.27 (1985),56\u201367.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"19_CR25","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"W. Pratt","year":"1987","unstructured":"Pratt. W. Modeling concurrency with partial orders. Int.J.Parallel Programming 15 (1987) 33\u201371.","journal-title":"Int.J.Parallel Programming"},{"key":"19_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55767-9","volume-title":"Modular Construction and Partial Order Semantics of Petri Nets","author":"W. Vogler","year":"1992","unstructured":"Vogler. W. Modular Construction and Partial Order Semantics of Petri Nets. Lecture Notes in Computer Science, Vol. 625. Springer-Verlag, 1992"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48745-X_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:58:38Z","timestamp":1684076318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48745-X_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661320","9783540487456"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-48745-x_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}