{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:12Z","timestamp":1725664092129},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:31:27Z","timestamp":1330259487000},"page":"432-450","source":"Crossref","is-referenced-by-count":1,"title":["Functional equivalences of Petri nets"],"prefix":"10.1007","author":[{"given":"Gerlinde","family":"Schreiber","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Berthelot, G.: Transformations and decompositions of Nets; Brauer, W. et al (Eds): Advances in Petri Nets, LNCS 254, Springer 1987","DOI":"10.1007\/978-3-540-47919-2_13"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Bernadinello,L.,De Cindio,F.: A Survey of BAsic Net Models and Modular Net Classes; Rozenberg, G.(Ed): Advances in Petri Nets 92, LNCS 609, Springer 1992, p.304\u2013351","DOI":"10.1007\/3-540-55610-9_177"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Brauer,W., Gold, R., Vogler,W.: A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets, Rozenberg, G.(Ed): Advances in Petri Nets 1990, LNCS 483, p.1\u201346","DOI":"10.1007\/3-540-53863-1_19"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Chehaibar, G.: Replacement of Open Interface Subnets and Stable State Transformation Equivalence; Rozenberg, G.(Ed): Advances in Petri Nets 93, LNCS 674, Springer 1993, p.1\u201325","DOI":"10.1007\/3-540-56689-9_37"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"De Cindio, F., De Michelis, G., Pomello, L., Simone, C.: A State-Transformation Equivalence for Concurrent Systems: Exhibited Functionality-Equivalence; Vogt, F.H.(Ed): Concurrency 1988, LNCS 335, Springer 1988, p.222\u2013236","DOI":"10.1007\/3-540-50403-6_42"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Goltz, U.; van Glabbeek,R.: Equivalence Notions for Concurrent Systems and the Refinement of Actions, GMD-Bericht 366, 1989","DOI":"10.1007\/3-540-51486-4_71"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Goltz, U.; van Glabbeek,R.: Refinement of Actions in Causality Based Models; GMD-Bericht 428, 1990","DOI":"10.1007\/3-540-52559-9_68"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Goltz, U.: On Representing CCS Programs by Finite Petri Nets; Chytil, M.P. et al (Eds): MFCS88, LNCS 324, Springer 1988, p.339\u2013350","DOI":"10.1007\/BFb0017157"},{"key":"25_CR9","unstructured":"Milner, R.: Communication and Concurrency; Prentice Hall 1989"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Pomello,L.,Simane,C.: A State Transformation Preorder over a class of EN systems; Rozenberg, G.(Ed): Advances in Petri Nets 90, LNCS 483, Springer 1991, p.436\u2013456","DOI":"10.1007\/3-540-53863-1_33"},{"key":"25_CR11","unstructured":"Schreiber, G.: Functional equivalence of Petri nets; Dissertation (in German), Bericht 4\u00a694, Fachbereich Informatik, Universit\u00e4t Oldenburg"},{"key":"25_CR12","unstructured":"van Glabbeek, R.: Comparative Concurrency Semantics and the Refinement of Actions, Dissertation, CWI 1990"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Suzuki, I.; Murata,T.: A Method for Stepwise Refinement and Abstraction of Petri Nets; J. of Computer and System Sciences 27,1983","DOI":"10.1016\/0022-0000(83)90029-6"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Valette, R.: Analysis of Petri Nets by Stepwise Refinements; Journal of Computer and System Sciences 18,1979","DOI":"10.1016\/0022-0000(79)90050-3"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Vogler, W.: Behaviour Preserving Refinements of Petri Nets; LNCS 246, Springer 1987","DOI":"10.1007\/3-540-17218-1_51"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Vogler, W.: Failures Semantics based on Interval Semiwords is a Congruence for Refinement; Choffrut,C., Lengauer,T.(Eds): STACS 90, LNCS 415, Springer 1990, p.285\u2013297","DOI":"10.1007\/3-540-52282-4_51"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Voss, K.: Interface as a Basic Concept for Systems Specification and Verification; Voss, K. et al (Eds): Concurrency and Nets, Springer 1987, S.585\u2013604","DOI":"10.1007\/978-3-642-72822-8_36"}],"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_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:28:14Z","timestamp":1605630494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}