{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:12:20Z","timestamp":1761610340063,"version":"build-2065373602"},"reference-count":23,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(05)80294-4","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"42-56","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Petri nets with generalized algebra: a comparison"],"prefix":"10.1016","volume":"27","author":[{"given":"Gabriel","family":"Juh\u00e1s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80294-4_BIB1","unstructured":"J. Le Bail, H. Alla, and R. David. Hybrid Petri nets. In Proceedings of 1st European Control Conference, pages 1472\u20131477, Grenoble, 1991."},{"key":"10.1016\/S1571-0661(05)80294-4_BIB2","article-title":"Ein allgemeines Petri-netz","author":"Braun","year":"1992","journal-title":"Master's thesis, Univ. Frankfurt"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB3","article-title":"A group theoretical approach to general Petri nets","author":"Braun","year":"1991","journal-title":"Technical report, Univ. of Frankfurt"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB4","unstructured":"R. David and H. Alla. Continuous Petri nets. In Proceedings of 8th European Workshop on Application and Theory of Petri nets, pp. 275-294, Zaragoza, 1987."},{"key":"10.1016\/S1571-0661(05)80294-4_BIB5","series-title":"Semantics of Programming Languages and Model Theory, Gordon and Breach Sc. Publ.","first-page":"69","article-title":"Petri Nets and Automata with Concurrency Relation - an Adjunction","author":"Droste","year":"1993"},{"year":"1963","series-title":"Partially Ordered Algebraic Systems","author":"Fuchs","key":"10.1016\/S1571-0661(05)80294-4_BIB6"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","article-title":"A survey of net methods for controlled discrete event systems","volume":"7","author":"Holloway","year":"1997","journal-title":"Discrete Event Dynamic Systems"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-54430-5_97","article-title":"Invariant semantics of nets with inhibitor arcs","volume":"527","author":"Janicki","year":"1991","journal-title":"Proc. CONCUR'91, LNCS"},{"year":"1991","series-title":"High-Level Petri-Nets, Theory and Applications","key":"10.1016\/S1571-0661(05)80294-4_BIB9"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB10","first-page":"265","article-title":"A concept of an algebraic generalisation of Petri nets","author":"Juh\u00e1s","year":"1997","journal-title":"2nd IFAC Workshop NTDCS'97"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB11","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(05)80252-X","article-title":"The essence of Petri nets and transition systems through Abelian groups","volume":"18","author":"Juh\u00e1s","year":"1998","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB12","first-page":"324","article-title":"Reasoning about algebraic generalisation of Petri nets","volume":"1639","author":"Juh\u00e1s","year":"1999"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB13","unstructured":"G. Juh\u00e1s. On semantics of Petri nets over partial algebra. To appear in Proc. of 26th Annual Conference on Current Trends in Theory and Practice of Informatics SOFSEM'99, Milovy, Czech Republic, Springer, LNCS."},{"issue":"1","key":"10.1016\/S1571-0661(05)80294-4_BIB14","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/21.87067","article-title":"Fuzzy Petri nets for rule-based decisionmaking","volume":"18","author":"Looney","year":"1988","journal-title":"IEEE Tran. Syst. Man Cybern."},{"key":"10.1016\/S1571-0661(05)80294-4_BIB15","first-page":"144","article-title":"Functional behaviour of nondeterministic and concurrent programs","volume":"62","author":"Main","year":"1984","journal-title":"Information and Computation"},{"issue":"2","key":"10.1016\/S1571-0661(05)80294-4_BIB16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","article-title":"Petri nets are monoids","volume":"88","author":"Meseguer","year":"1990","journal-title":"Information and Computation"},{"issue":"6","key":"10.1016\/S1571-0661(05)80294-4_BIB17","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01178907","article-title":"Contextual nets","volume":"32","author":"Montanari","year":"1995","journal-title":"Acta Informatica"},{"issue":"4","key":"10.1016\/S1571-0661(05)80294-4_BIB18","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1142\/S0129054192000231","article-title":"Petri nets and step transition systems","volume":"3","author":"Mukund","year":"1992","journal-title":"International Journal of Foundations of Computer Science"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB19","series-title":"PhD thesis, Technical University of Berlin","article-title":"Abstract Petri Nets: Uniform Approach and Rule-Based Refinement","author":"Padberg","year":"1996"},{"year":"1981","series-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","key":"10.1016\/S1571-0661(05)80294-4_BIB20"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB21","article-title":"One FIFO place realizes zero-testing and Turing machines","volume":"12","author":"Tix","year":"1996","journal-title":"Petri net Newsletter, 51"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB22","first-page":"140","article-title":"Generalizations of Petri Nets","volume":"118","author":"Valk","year":"1981"},{"key":"10.1016\/S1571-0661(05)80294-4_BIB23","first-page":"1","article-title":"Models for concurrency","volume":"volume 4","author":"Winskel","year":"1995"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105802944?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105802944?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:37Z","timestamp":1761610057000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105802944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":23,"alternative-id":["S1571066105802944"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80294-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Petri nets with generalized algebra: a comparison","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80294-4","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1999 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}