{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:43:09Z","timestamp":1648773789858},"reference-count":25,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2001,7,1]],"date-time":"2001-07-01T00:00:00Z","timestamp":993945600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4411,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,7]]},"DOI":"10.1016\/s1571-0661(04)80950-2","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"163-187","source":"Crossref","is-referenced-by-count":1,"title":["Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra"],"prefix":"10.1016","volume":"44","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Juh\u00e1s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Lorenz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","article-title":"Sequential and Concurrent Behaviour in Petri Net Theory","volume":"55","author":"Best","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB2","series-title":"Proc. of ASIAN 1998","first-page":"225","article-title":"A Comparison of Petri Net Semantics under the Collective Token Philosophy","author":"Bruni","year":"1998"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB3","series-title":"Proc. of ICALP 2000","first-page":"175","article-title":"Algebraic Models for Contextual Nets","author":"Bruni","year":"2000"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB4","unstructured":"P. Burmeister. Lecture Notes on Universal Algebra - Many Sorted Partial Algebras. Technical Report, TU Darmstadt, 1998."},{"issue":"7","key":"10.1016\/S1571-0661(04)80950-2_NEWBIB5","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1007\/s002360050064","article-title":"Axiomatizing the Algebra of Net Computations and Processes","volume":"33","author":"Degano","year":"1996","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB6","doi-asserted-by":"crossref","unstructured":"J. Desel, G. Juh\u00e1s and R. Lorenz. Process Semantics of Petri Nets over Partial Algebra. In M. Nielsen and D. Simpson (Eds.) Proc. of 21th International Conference on Application and Theory of Petri Nets, Springer, LNCS 1825, pp. 146\u2013165, 2000.","DOI":"10.1007\/3-540-44988-4_10"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB7","series-title":"Unifying Petri Net","article-title":"Petri Nets over Partial Algebra. To appear","author":"Desel","year":"2001"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB8","series-title":"Unifying Petri Net","article-title":"What is a Petri Net? To appear","author":"Desel","year":"2001"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB9","first-page":"123","article-title":"Place\/Transition Petri Nets","author":"Desel","year":"1998","journal-title":"Lectures on Petri nets I: Basic Models"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB10","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-52494-0_28","article-title":"The Semantics of Capacities in P\/T Nets","author":"Devillers","year":"1990","journal-title":"Advances in Petri Nets 1989"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB11","doi-asserted-by":"crossref","unstructured":"F. Gadducci and U. Montanari. Axioms for Contextual Net Processes. In Proc of. ICALP'98, Springer, LNCS 1443, pp. 296\u2013308, 1998.","DOI":"10.1007\/BFb0055062"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB12","doi-asserted-by":"crossref","unstructured":"H-M. Hanisch, and A. L\u00fcder. A Signal Extension for Petri nets and its Use in Controller Design. To appear in Fundamenta informaticae, 2000.","DOI":"10.1007\/978-1-4615-4493-7_43"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1995.1153","article-title":"Semantics of Inhibitor Nets","volume":"123","author":"Janicki","year":"1995","journal-title":"Information and Computations"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB14","doi-asserted-by":"crossref","unstructured":"G. Juhas. Reasoning about algebraic generalisation of Petri nets. In S. Donatelli and J. Klein (Eds.) Proc. of 20th International Conference on Application and Theory of Petri Nets, Springer, LNCS 1639, pp. 324\u2013343, 1999.","DOI":"10.1007\/3-540-48745-X_20"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB15","series-title":"Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics SOFSEM'99","first-page":"408","article-title":"Petri nets over partial algebra","author":"Juh\u00e1s","year":"1999"},{"issue":"No. 66","key":"10.1016\/S1571-0661(04)80950-2_NEWBIB16","first-page":"155","article-title":"The Dimensions of Petri Nets: The Petri Net Cube","author":"Kindler","year":"1998","journal-title":"EATCS Bulletin"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB17","doi-asserted-by":"crossref","unstructured":"H.C.M. Kleijn, M. Koutny. Process Semantics of P\/T-Nets with Inhibitor Arcs. In M. Nielsen and D. Simpson (Eds.) Proc. of 21th International Conference on Application and Theory of Petri Nets, Springer, LNCS 1825, pp. 261\u2013281, 2000.","DOI":"10.1007\/3-540-44988-4_16"},{"issue":"2","key":"10.1016\/S1571-0661(04)80950-2_NEWBIB18","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(04)80950-2_NEWBIB19","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"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB20","unstructured":"J. Padberg. Abstract Petri Nets: Uniform Approach and Rule-Based Refinement, Ph.D. Thesis, TU Berlin, Germany, 1996."},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB21","unstructured":"J. Padberg. Classification of Petri Nets Using Adjoint Functors Bulletin of EACTS No. 66, 1998."},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB22","series-title":"Unifying Petri Net","article-title":"Parametrized Net Classes: A uniform approach to net classes. To appear","author":"Padberg","year":"2001"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB23","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1017\/S096012959700248X","article-title":"An Axiomatization of the Category of Petri Net Computations","volume":"vol. 8","author":"Sassone","year":"1998","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB24","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","article-title":"Behaviours of Concurrent Systems","volume":"12","author":"Winkowski","year":"1980","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80950-2_NEWBIB25","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0304-3975(82)90079-2","article-title":"An Algebraic Description of System Behaviours","volume":"21","author":"Winkowski","year":"1982","journal-title":"Theoretical Computer Science"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809502?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809502?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:10:41Z","timestamp":1585897841000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809502"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,7]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,7]]}},"alternative-id":["S1571066104809502"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80950-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,7]]}}}