{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:22Z","timestamp":1725663802818},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:09Z","timestamp":1330269609000},"page":"239-257","source":"Crossref","is-referenced-by-count":2,"title":["A term representation of P\/T systems"],"prefix":"10.1007","author":[{"given":"Cheryl","family":"Dietz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerlinde","family":"Schreiber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A.; Klop, J.W.: Algebra of communicating processes with abstraction; TCS 37, 1985","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Boudol, G.; Roucairol, G.; de Simone, R.: Petri nets and algebraic calculi of processes; LNCS 222, Springer 1986","DOI":"10.1007\/BFb0016205"},{"key":"14_CR3","unstructured":"Christensen, Soren: Decidability and Decomposition in Process Algebras; Report ECS-LFCS-93-278, Univ. of Edinburgh, Dept. of Computer Science, 1993"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo: A Distributed Operational Semantics for CCS based on C\/E-Systems; Acta Informatica 26, 1988","DOI":"10.1007\/BF02915446"},{"key":"14_CR5","unstructured":"Dietz, Cheryl; Schreiber, Gerlinde: A Term Representation for P\/T Systems (in German); Report 1\/93; Univ. Oldenburg, Dept. of Computer Science, 1993"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Engelfriet, Joost: Branching processes of Petri nets; Acta Informatica 28, 1991","DOI":"10.1007\/BF01463946"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.; Vandraager, F.: Petri Net Models for Algebraic Theories of Concurrency; LNCS 259, Springer 1987","DOI":"10.1007\/3-540-17945-3_13"},{"key":"14_CR8","unstructured":"Goltz, Ursula: On representing CCS programs by finite Petri Nets; LNCS 324, Springer 1988"},{"key":"14_CR9","unstructured":"Goltz, Ursula: On the representation of CCS programs by Petri Nets (in German); GMD-Bericht 172, Oldenbourg 1988"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes; Prentice Hall 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"14_CR11","unstructured":"Milner, Robin: Communication and Concurrency; Prentice Hall 1989"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Nielsen, M.; Plotkin, G.; Winskel, G.: Petri nets, event structures and domains; TCS 13, 1981","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Olderog, Ernst-R\u00fcdiger: Operational Petri Net Semantics for CCSP; LNCS 266, Springer 1987","DOI":"10.1007\/3-540-18086-9_27"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Reisig, Wolfgang: Petri Nets; EATCS Monographs, vol.4, Springer 1985","DOI":"10.1007\/978-3-642-69968-9"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Taubner, Dirk: The Finite Representation of CCS and TCSP Programs by Automata and Petri Nets; LNCS 369, Springer 1989","DOI":"10.1007\/3-540-51525-9"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:10:44Z","timestamp":1640931044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}