{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:48:32Z","timestamp":1725493712814},"publisher-location":"Berlin, Heidelberg","reference-count":31,"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_20","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:12:59Z","timestamp":1193472779000},"page":"324-343","source":"Crossref","is-referenced-by-count":8,"title":["Reasoning about Algebraic Generalisation of Petri Nets"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Juh\u00e1s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"20_CR1","volume-title":"Theory of Mathematical Structures","author":"J. Ad\u00e1mek","year":"1983","unstructured":"J. Ad\u00e1mek. Theory of Mathematical Structures. Kluwer, Dordrecht, 1983."},{"key":"20_CR2","unstructured":"E. Badouel. Representation of Reversible Automata and State Graphs of Vector Addition Systems. Technical Report, INRIA Rennes, 1998."},{"key":"20_CR3","unstructured":"J. Le Bail, H. Alla, and R. David. Hybrid Petri nets. In Proceedings of 1st European Control Conference, pp. 1472\u20131477, Grenoble, 1991."},{"key":"20_CR4","unstructured":"P. Braun. Ein allgemeines Petri-netz. Master\u2019s thesis, Univ. of Frankfurt, 1992."},{"key":"20_CR5","unstructured":"P. Braun, B. Brosowski, T. Fischer, and S. Helbig. A group theoretical approach to general Petri nets. Technical report, Univ. of Frankfurt, 1989-1991."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"A. H. Clifford and G. B. Preston. The Algebraic Theory of Semigroups I, II. American Mathematical Society, 1961, 1967.","DOI":"10.1090\/surv\/007.2"},{"key":"20_CR7","unstructured":"R. David and H. Alla. Continuous Petri nets. In Proc. of 8th European Workshop on Application and Theory of Petri nets, pp. 275\u2013294, Zaragoza, 1987."},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00264612","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"A. Ehrenfeucht and G. Rozenberg. Partial (set) 2-structures, part II: State spaces of concurrent systems. Acta Informatika, 27:343\u2013368, 1990.","journal-title":"Acta Informatika"},{"key":"20_CR9","unstructured":"H. Ehrig, J. Padberg, and G. Rozenberg. Behaviour and realization construction for Petri nets based on free monoid and power set graphs. In Workshop on Concurrency, Specification & Programming. Humboldt University, 1994."},{"key":"20_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-61363-3_12","volume-title":"Proc. ICATPN\u201996","author":"X. He","year":"1996","unstructured":"Xudong He. A formal definition of hierarchical predicate transition nets. In Proc. ICATPN\u201996, LNCS 1091, pp. 212\u2013229, 1996."},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"L. E. Holloway","year":"1997","unstructured":"L. E. Holloway, B. H. Krogh, and A. Giua. A survey of net methods for controlled discrete event systems. Discrete Event Dynamic Systems, 7:151\u2013190, 1997.","journal-title":"Discrete Event Dynamic Systems"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1991-14303","volume":"XIV","author":"H. J. Hoogeboom","year":"1991","unstructured":"H. J. Hoogeboom and G. Rozenberg. Diamond properties of elementary net systems. Fundamenta Informaticae, XIV:287\u2013300, 1991.","journal-title":"Fundamenta Informaticae"},{"key":"20_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proc. CONCUR\u201991","author":"R. Janicki","year":"1991","unstructured":"R. Janicki and M. Koutny. Invariant semantics of nets with inhibitor arcs. In Proc. CONCUR\u201991, LNCS 527, 1991."},{"key":"20_CR14","volume-title":"Basic Concepts, Analysis Methods and Practical Use I II III","author":"K. Jensen","year":"1992","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use I II III. Springer-Verlag, Berlin, 1992, 1995, 1997."},{"volume-title":"High-Level Petri-Nets, Theory and Applications","year":"1991","key":"20_CR15","unstructured":"K. Jensen and G. Rozenberg, editors. High-Level Petri-Nets, Theory and Applications. Springer-Verlag, Berlin, 1991."},{"key":"20_CR16","unstructured":"G. Juh\u00e1s. Algebraically Generalised Petri Nets. PhD thesis, Institute of Control Theory and Robotics, Slovak Academy of Sciences, 1998."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"G. Juh\u00e1s. The essence of Petri nets and transition systems through Abelian groups. Electronic Notes in Theoretical Computer Science, 18, 1998.","DOI":"10.1016\/S1571-0661(05)80252-X"},{"issue":"2","key":"20_CR18","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. M. Karp","year":"1969","unstructured":"R. M. Karp and R. E. Miller. Parallel program schemata. Journal of Computer and System Sciences, 3(2):147\u2013195, 1969.","journal-title":"Journal of Computer and System Sciences"},{"issue":"19","key":"20_CR19","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"7","author":"R. M. Keller","year":"1976","unstructured":"R. M. Keller. Formal verification of parallel programs. Communications of the ACM, 7(19):371\u2013384, 1976.","journal-title":"Communications of the ACM"},{"key":"20_CR20","unstructured":"E. S. Ljapin and A. E. Evseev. Partial algebraic operations. Izdatelstvo \u201cObrazovani\u201d, St. Petersburg, 1991. In Russian."},{"issue":"2","key":"20_CR21","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88(2):105\u2013155, October 1990.","journal-title":"Information and Computation"},{"issue":"6","key":"20_CR22","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U. Montanari","year":"1995","unstructured":"U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32(6):545\u2013596, 1995.","journal-title":"Acta Informatica"},{"issue":"4","key":"20_CR23","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M. Mukund","year":"1992","unstructured":"M. Mukund. Petri nets and step transition systems. International Journal of Foundations of Computer Science, 3(4):443\u2013478, December 1992.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"20_CR24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"M. Nielsen, G. Rozenberg, and P. S. Thiagarajan. Elementary transition systems. Theoretical Computer Science, 96:3\u201333, 1992.","journal-title":"Theoretical Computer Science"},{"key":"20_CR25","unstructured":"J. Padberg. Abstract Petri Nets: Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University of Berlin, 1996."},{"key":"20_CR26","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. L. Peterson","year":"1981","unstructured":"J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981."},{"key":"20_CR27","unstructured":"C. A. Petri. Kommunikation mit Automaten. PhD thesis, Univ. Bonn, 1962."},{"key":"20_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-47919-2_4","volume-title":"Proc. 2nd Advanced Course in Petri Nets, Advances in Petri Nets 1986","author":"G. Rozenberg","year":"1987","unstructured":"G. Rozenberg. Behaviour of elementary net systems. In Proc. 2nd Advanced Course in Petri Nets, Advances in Petri Nets 1986, LNCS 254, pp. 60\u201394,1987."},{"key":"20_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-540-47919-2_3","volume-title":"Proc. 2nd Advanced Course in Petri Nets, Advances in Petri Nets 1986","author":"P. S. Thiagarajan","year":"1987","unstructured":"P. S. Thiagarajan. Elementary net systems. In Proc. 2nd Advanced Course in Petri Nets, Advances in Petri Nets 1986, LNCS 254, pp. 26\u201359, 1987."},{"key":"20_CR30","first-page":"12","volume":"51","author":"P. Tix","year":"1996","unstructured":"P. Tix. One FIFO place realizes zero-testing and Turing machines. Petri net Newsletter, 51, 12 1996.","journal-title":"Petri net Newsletter"},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"G. Winskel and M. Nielsen. Models for concurrency. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 4, pp. 1\u2013148. Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780198537809.003.0001"}],"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_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T18:33:39Z","timestamp":1708281219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48745-X_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661320","9783540487456"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-48745-x_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}