{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,23]],"date-time":"2022-07-23T09:12:24Z","timestamp":1658567544827},"reference-count":19,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1992]]},"DOI":"10.1051\/ita\/1992260100191","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T15:11:43Z","timestamp":1486048303000},"page":"19-44","source":"Crossref","is-referenced-by-count":3,"title":["Normalization of place\/transition-systems preserves net behaviour"],"prefix":"10.1051","volume":"26","author":[{"given":"E.","family":"Pelz","sequence":"first","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"1. BERGE C., Graphs and Hypergraphs, North Holland, 1973.3571720254.05101"},{"key":"R2","unstructured":"2. BEST E. and FERNANDEZ C., Notations and Terminology on Petri Net Theory, Arbeitspapiere der GMD 195, Bonn, 1986."},{"key":"R3","doi-asserted-by":"crossref","unstructured":"3. BEST E., DEVILLERS R., KIEHN A. and POMELLO L., Fully Concurrent Bisimulation Technical report, Universit\u00e9 libre de Bruxelles, 1989, and Acta Informatica, 1991, 28, pp. 231-264.10932500718.68034","DOI":"10.1007\/BF01178506"},{"key":"R4","unstructured":"4. BRAMS G.W., R\u00e9seaux de Petri: Th\u00e9orie et Pratique, Tome 1 et 2, Masson, 1982.6923640501.68027"},{"key":"R5","doi-asserted-by":"crossref","unstructured":"5. W. BRAUER, W. REISIG and G. ROZENBERG Eds., Petri Nets: Central Models and Their Properties, Part I, Proceedings, Advances in Petri Nets 1986, LNCS, 254, Springer-Verlag, 1987.9026510619.00023","DOI":"10.1007\/978-3-540-47919-2"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"6. GOLTZ U., On Condition\/Event Representations of Place\/Transition Systems, in: K. Voss, H.J. GENRICH and G. ROZENBERG Eds, Concurrency and Nets, Springer-Verlag, 1987.9119190634.68059","DOI":"10.1007\/978-3-642-72822-8_15"},{"key":"R7","unstructured":"7. GOLTZ U. and REISIG W., Processes of Place\/Transition-Nets in Proceedings ICALP 83, LNCS, 154, Springer-Verlag, 1983.7276620523.68046"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"8. GRABOWSKI J., On partial languages, Annales Soc. Math. Polonae, series IV: Fund. Inform., 1981, IV. 2, pp. 427-298.6452490468.68088","DOI":"10.3233\/FI-1981-4210"},{"key":"R9","unstructured":"9. HACK M., Petri net Languages, MIT-Technical Report 159, MIT Press, Cambridge, 1975."},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. PARIGOT M. and PELZ E., A logical approach of Petri net languages, T.C.S., 1985, 39, pp. 155-169, and to appear in Proceedings ESDA'92, ASME-Volume.8211990605.68049","DOI":"10.1016\/0304-3975(85)90136-7"},{"key":"R11","unstructured":"11. PELZ E., Place\/Transitions-systems: Concurrent behaviour and logic, Rapport LRI No. 571, Universit\u00e9 Paris-Sud, 1990."},{"key":"R12","unstructured":"12. PELZ E., Normalisation of Place\/Transition-Systems Preserves Net Behaviour, in part II of \"R\u00e9seaux et Logique\", Th\u00e8se d'\u00c9tat, Universit\u00e9 Paris-Sud, 1990."},{"key":"R13","unstructured":"13. POMELLO L., Some Equivalence Notions for Concurrent Systems. An Overwiew, in K. Voss, H.J. GENRICH and G. ROZENBERG Eds, Concurrency and Nets, Springer-Verlag, 1987.8645260611.68037"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"14. POMELLO L. and SIMONE C., A survey of Equivalence Notions for Net Based Systems Systems, Conference at ESPRIT-BRA DEMON meeting, Bonn, June 1989, to appear in Advances in Petri Nets, 1991.","DOI":"10.1007\/3-540-55610-9_180"},{"key":"R15","unstructured":"15. SCHWER S., Transformation of a Petri Net into a Petri Net with Incidence Matrix on {0, 1}, Petri Nets Newsletter, 1986, 23, pp. 15-20."},{"key":"R16","unstructured":"16. SIFAKIS J., Le contr\u00f4le des syst\u00e8mes asynchrones: Concepts, propri\u00e9t\u00e9s, analyse statique, Th\u00e8se, U.S.M. Grenoble, 1979."},{"key":"R17","doi-asserted-by":"crossref","unstructured":"17. VALK R. and CARSTENSEN H., Infinite Behaviour and Fairness in Petri Nets, in Advances in Petri nets 1984, LNCS, 188, G. ROZENBERG Ed., Springer-Verlag,, 1985.8071960571.68045","DOI":"10.1007\/3-540-15204-0_6"},{"key":"R18","unstructured":"18. VOGLER W., Executions: Their relations to Other Partial Order Semantics of Nets and a Compatible C\/E-Representation of P\/T-systems, Technical report, TUM-18806, TU M\u00fcnchen, 1988."},{"key":"R19","unstructured":"19. VOGLER W., Bisimulation and action refinement, in STACS 91, C. CHOFFRUT and M. JANTZEN Eds., LNCS, 480, Springer-Verlag, 1991.11011800773.68052"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1992260100191\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,23]],"date-time":"2022-07-23T08:32:23Z","timestamp":1658565143000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1992260100191"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"references-count":19,"journal-issue":{"issue":"1"},"alternative-id":["ita1992260100191"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1992260100191","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}