{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:42:45Z","timestamp":1725489765057},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430674"},{"type":"electronic","value":"9783540455417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45541-8_6","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T10:55:33Z","timestamp":1187261733000},"page":"126-172","source":"Crossref","is-referenced-by-count":4,"title":["Petri Nets over Partial Algebra"],"prefix":"10.1007","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":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E. Best and R. Devillers. Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science, 55, pp. 87\u2013136, 1987.","journal-title":"Theoretical Computer Science"},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/3-540-49366-2_18","volume-title":"Proc. of ASIAN 1998","author":"R. Bruni","year":"1998","unstructured":"R. Bruni, J. Meseguer, U. Montanari and V. Sassone A Comparison of Petri Net Semantics under the Collective Token Philosophy. Proc. of ASIAN 1998, Springer, LNCS 1538, pp. 225\u2013244, 1998."},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/3-540-45022-X_15","volume-title":"Proc. of ICALP 2000","author":"R. Bruni","year":"2000","unstructured":"R. Bruni and V. Sassone Algebraic Models for Contextual Nets. Proc. of ICALP 2000, Springer, LNCS 1853, pp. 175\u2013186, 2000."},{"key":"6_CR4","unstructured":"P. Burmeister. Lecture Notes on Universal Algebra-Many Sorted Partial Algebras. Technical Report, TU Darmstadt, 1998."},{"issue":"7","key":"6_CR5","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s002360050064","volume":"33","author":"E. Degano","year":"1996","unstructured":"E. Degano, J. Meseguer and U. Montanari. Axiomatizing the Algebra of Net Computations and Processes. Acta Informatica, 33(7), pp. 641\u2013667, 1996.","journal-title":"Acta Informatica"},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-44988-4_10","volume-title":"Proc. of 21th International Conference on Application and Theory of Petri Nets","author":"J. Desel","year":"2000","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."},{"key":"6_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Unifying Petri Net, Advances in Petri Nets","author":"J. Desel","year":"2001","unstructured":"J. Desel, G. Juh\u00e1s and R. Lorenz. Petri Nets over Partial Algebra. To appear in H. Ehrig, G. Juh\u00e1s, J. Padberg and G. Rozenberg (Eds.) Unifying Petri Net, Advances in Petri Nets, Springer, LNCS, 2001."},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Unifying Petri Net, Advances in Petri Nets","author":"J. Desel","year":"2001","unstructured":"J. Desel and G. Juh\u00e1s. What is a Petri Net? To appear in H. Ehrig, G. Juh\u00e1s, J. Padberg and G. Rozenberg (Eds.) Unifying Petri Net, Advances in Petri Nets, Springer, LNCS, 2001."},{"key":"6_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-69108-1","volume-title":"Lectures on Petri nets I: Basic Models","author":"J. Desel","year":"1998","unstructured":"J. Desel and W. Reisig. Place\/Transition Petri Nets. In Lectures on Petri nets I: Basic Models, LNCS 1491, pp. 123\u2013174, 1998."},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-52494-0_28","volume-title":"Advances in Petri Nets 1989","author":"R. Devillers","year":"1990","unstructured":"R. Devillers. The Semantics of Capacities in P\/T Nets. In Advances in Petri Nets 1989, LNCS 424, pp. 128\u2013150, 1990."},{"key":"6_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/BFb0055062","volume-title":"Proc of. ICALP\u201998","author":"F. Gadducci","year":"1998","unstructured":"F. Gadducci and U. Montanari. Axioms for Contextual Net Processes. In Proc of. ICALP\u201998, Springer, LNCS 1443, pp. 296\u2013308, 1998."},{"key":"6_CR12","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.3233\/FI-2000-41403"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R. Janicki","year":"1995","unstructured":"R. Janicki and M. Koutny. Semantics of Inhibitor Nets. Information and Computations, 123, pp. 1\u201316, 1995.","journal-title":"Information and Computations"},{"key":"6_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-48745-X_20","volume-title":"Proc. of 20th International Conference on Application and Theory of Petri Nets","author":"G. Juh\u00e1s","year":"1999","unstructured":"G. Juh\u00e1s. 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."},{"key":"6_CR15","series-title":"Lect Notes Comput Sci","first-page":"408","volume-title":"Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics SOFSEM\u201999","author":"G. Juh\u00e1s","year":"1999","unstructured":"G. Juh\u00e1s. Petri nets over partial algebra. In J. Pavelka, G. Tel and M. Bartosek (Eds.) Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics SOFSEM\u201999, Springer, LNCS 1725, pp. 408\u2013415, 1999."},{"key":"6_CR16","unstructured":"E. Kindler and M. Weber. The Dimensions of Petri Nets: The Petri Net Cube. EATCS Bulletin, No. 66, pp. 155\u2013166, 1998."},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-44988-4_16","volume-title":"Proc. of 21th International Conference on Application and Theory of Petri Nets","author":"H.C.M. Kleijn","year":"2000","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."},{"issue":"2","key":"6_CR18","doi-asserted-by":"crossref","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":"6_CR19","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), pp. 545\u2013596, 1995.","journal-title":"Acta Informatica"},{"key":"6_CR20","series-title":"Ph.D. Thesis","volume-title":"Abstract Petri Nets: Uniform Approach and Rule-Based Refinement","author":"J. Padberg","year":"1996","unstructured":"J. Padberg. Abstract Petri Nets: Uniform Approach and Rule-Based Refinement, Ph.D. Thesis, TU Berlin, Germany, 1996."},{"key":"6_CR21","unstructured":"J. Padberg. Classification of Petri Nets Using Adjoint Functors Bulletin of EACT S No. 66, 1998."},{"key":"6_CR22","series-title":"Lect Notes Comput Sci","volume-title":"Unifying Petri Net, Advances in Petri Nets","author":"J. Padberg","year":"2001","unstructured":"J. Padberg and H. Ehrig. Parametrized Net Classes: A uniform approach to net classes. To appear in H. Ehrig, G. Juh\u00e1s, J. Padberg and G. Rozenberg (Eds.) Unifying Petri Net, Advances in Petri Nets, Springer, LNCS, 2001."},{"key":"6_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","volume-title":"Lectures on Petri Nets I: Basic Models","author":"G. Rozenberg","year":"1998","unstructured":"G. Rozenberg, and J. Engelfriet. Elementary Net Systems. In W. Reisig and G. Rozenberg (Eds.) Lectures on Petri Nets I: Basic Models, Springer, LNCS 1491, pp. 12\u2013121, 1998."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1017\/S096012959700248X","volume":"8","author":"V. Sassone","year":"1998","unstructured":"V. Sassone An Axiomatization of the Category of Petri Net Computations. Mathematical Structures in Computer Science, vol. 8, pp. 117\u2013151, 1998.","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","volume":"12","author":"J. Winkowski","year":"1980","unstructured":"J. Winkowski. Behaviours of Concurrent Systems. Theoretical Computer Science, 12, pp. 39\u201360, 1980.","journal-title":"Theoretical Computer Science"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0304-3975(82)90079-2","volume":"21","author":"J. Winkowski","year":"1982","unstructured":"J. Winkowski. An Algebraic Description of System Behaviours. Theoretical Computer Science, 21, pp. 315\u2013340, 1982.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Unifying Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45541-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T22:40:56Z","timestamp":1587854456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45541-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430674","9783540455417"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45541-8_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}