{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:02Z","timestamp":1725664082483},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:30:24Z","timestamp":1330277424000},"page":"258-277","source":"Crossref","is-referenced-by-count":5,"title":["Causal behaviours and nets"],"prefix":"10.1007","author":[{"given":"Joost-Pieter","family":"Katoen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"J. Baeten and W. Weijland. Process Algebra. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E. Best and R. Devillers. Sequential and concurrent behaviour in Petri net theory. Th. Comp. Sci., 55:87\u2013136, 1987.","journal-title":"Th. Comp. Sci."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and J. Hall. The Box calculus: a new causal algebra with multi-label communication. In G. Rozenberg (ed), Advances in Petri Nets, LNCS 609:21\u201369. 1992.","DOI":"10.1007\/3-540-55610-9_167"},{"key":"16_CR4","unstructured":"T. Bolognesi and G. Ciaccio. Cumulating constraints on the \u2018when\u2019 and the \u2018what'. In R. Tenney et al (eds), Formal Description Techniques VI, pp. 433\u2013448. 1994."},{"key":"16_CR5","unstructured":"M. Broy. Formalization of distributed, concurrent, reactive systems. In E. Neuhold and M. Paul (eds), Formal Description of Programming Concepts, pp. 319\u2013361. 1991."},{"issue":"2","key":"16_CR6","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G. Chiola","year":"1993","unstructured":"G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte. Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE Trans. on Software Eng., 19(2):89\u2013106, 1993.","journal-title":"IEEE Trans. on Software Eng."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"R. Coelho da Costa and J.-P. Courtiat. Using Petri Nets as a model for Petri Nets. Proc. IEEE Workshop on Future Trends of Distr. Comp. Syst., pp. 41\u201347. 1992.","DOI":"10.1109\/FTDCS.1992.217516"},{"key":"16_CR8","unstructured":"L. Ferreira Pires. Architectural Notes: a Framework for Distributed Systems Development. PhD thesis, Univ. of Twente, 1994."},{"key":"16_CR9","unstructured":"H. Garavel and J. Sifakis. Compilation and verification of LOTOS specifications. In L. Logrippo et al (eds), PSTV X, pp. 359\u2013376. 1990."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"U. Goltz and W. Reisig. CSP-programs as nets with individual tokens. In G. Rozenberg et al (eds), Advances in Petri Nets, LNCS 188:169\u2013196. 1984.","DOI":"10.1007\/3-540-15204-0_11"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"J. Gunawardena. Causal automata I: Confluence \u2261 {AND, OR}-causality. In M. Kwiatkowska et al (eds), Semantics for Concurrency, pp. 137\u2013156. 1990.","DOI":"10.1007\/978-1-4471-3860-0_9"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"J. Gunawardena. Geometric logic, causality and event structures. In J. Baeten and J. Groote (eds), Concur'91, LNCS 527:266\u2013280. 1991.","DOI":"10.1007\/3-540-54430-5_94"},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0304-3975(92)90052-H","volume":"101","author":"J. Gunawardena","year":"1992","unstructured":"J. Gunawardena. Causal automata. Th. Comp. Sci., 101:265\u2013288, 1992.","journal-title":"Th. Comp. Sci."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"C. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"P. Hoogers, H. Kleijn, and P. Thiagarajan. Local event structures and Petri nets. In E. Best (ed), Concur'93, LNCS 715:462\u2013476. 1993.","DOI":"10.1007\/3-540-57208-2_32"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00290705","volume":"24","author":"R. Janicki","year":"1987","unstructured":"R. Janicki. A formal semantics for concurrent systems with a priority relation. Acta Informatica, 24:33\u201355, 1987.","journal-title":"Acta Informatica"},{"key":"16_CR17","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"K. Jensen. Coloured Petri nets and the invariant-method. Th. Comp. Sci., 14:317\u2013336, 1981.","journal-title":"Th. Comp. Sci."},{"key":"16_CR18","unstructured":"J.-P. Katoen Causal behaviours and nets. Tech. rep. 94-70, Univ. of Twente. 1994."},{"issue":"1","key":"16_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(85)90002-4","volume":"5","author":"C. Koomen","year":"1985","unstructured":"C. Koomen. Algebraic specification and verification of communication protocols. Science of Computer Programming, 5(1):1\u201337, 1985.","journal-title":"Science of Computer Programming"},{"issue":"7","key":"16_CR20","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks and the ordering of events. CACM, 21(7):558\u2013565, 1978.","journal-title":"CACM"},{"key":"16_CR21","unstructured":"R. Langerak. Transformation and Semantics for LOTOS. PhD thesis, Univ. Twente, 1992."},{"key":"16_CR22","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"P. Merlin and D. Farber. Recoverability of communication protocols \u2014 implications of a theoretical study. IEEE Trans. on Communications, 24:1036\u20131043, 1976.","journal-title":"IEEE Trans. on Communications"},{"key":"16_CR23","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"16_CR24","unstructured":"J. Peterson. Petri net theory and modeling of systems. Prentice-Hall, 1981."},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"G. Pinna and A. Poign\u00e9. On the nature of events. In I. Havel and V. Koubek (eds), Mathematical Foundations of Computer Science'92, LNCS 629:430\u2013441. 1992.","DOI":"10.1007\/3-540-55808-X_42"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"G. Pinna and A. Poign\u00e9. On the specification of elementary reactive behaviour. In S. Brookes et al (eds), Mathematical Foundations of Programming Semantics'93, LNCS 802:271\u2013292. 1994.","DOI":"10.1007\/3-540-58027-1_13"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets \u2014 An Introduction. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"A. Rensink. Posets for configurations! In W. Cleaveland (ed), Concur'92, LNCS 630:269\u2013285. 1992.","DOI":"10.1007\/BFb0084797"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"G. Rozenberg and P. Thiagarajan. Petri nets: Basic notions, structure, behaviour. In J. de Bakker et al (eds), Current Trends in Concurrency, LNCS 224:585\u2013668. 1986.","DOI":"10.1007\/BFb0027048"},{"key":"16_CR30","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF02277859","volume":"7","author":"R. Schwarz","year":"1994","unstructured":"R. Schwarz and F. Mattern. Detecting causal relationships in distributed computations: in search of the holy grail. Distributed Computing, 7:149\u2013174, 1994.","journal-title":"Distributed Computing"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek and F. Vaandrager. Petri net models of algebraic theories of concurrency. In J. de Bakker et al (eds), PARLE'87, LNCS 259:224\u2013242. 1987.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"M. van Sinderen, L. Ferreira Pires, C. Vissers, and J.-P. Katoen. A design model for open distributed processing systems. Comp. Netw. & ISDN Syst., 1995.","DOI":"10.1016\/0169-7552(94)00031-N"},{"key":"16_CR33","unstructured":"C. Vissers, M. van Sinderen, and L. Ferreira Pires. What makes industries believe in formal methods. In A. Danthine et al (eds), PSTV XIII, pp. 3\u201326. 1993."},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"G. Winskel. An introduction to event structures. In J. de Bakker et al (eds), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354:364\u2013397. 1989.","DOI":"10.1007\/BFb0013026"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:11Z","timestamp":1605648491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}