{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215132},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666943"},{"type":"electronic","value":"9783540478492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47849-3_29","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T04:45:30Z","timestamp":1186807530000},"page":"414-422","source":"Crossref","is-referenced-by-count":8,"title":["On Semantics of Petri Nets Over Partial Algebra"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Juh\u00e1s","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"29_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-55610-9_177","volume-title":"Advances in Petri Nets 1992","author":"L. Bernardinello","year":"1992","unstructured":"L. Bernardinello and F. De Cindio. A Survey of Basic Models and Modular Net Classes. In Advances in Petri Nets 1992, LNCS 609, pp. 304\u2013351, 1992."},{"key":"29_CR2","unstructured":"P. Braun. Ein allgemeines Petri-netz. Master\u2019s thesis, Univ. of Frankfurt, 1992."},{"key":"29_CR3","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":"29_CR4","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":"29_CR5","unstructured":"M. Droste and R. M. Shrott. Petri Nets and Automata with Concurrency Relation\u2014an Adjunction. In M. Droste and Y. Gurevich (eds) Semantics of Programming Languages and Model Theory, Gordon and Breach Sc. Publ., pp. 69\u201387, 1993."},{"key":"29_CR6","unstructured":"M. Hack. Petri Nets and Commutative Semigroups. Computation Structures Note No. 18, Project MAC, M.I.T., July 1974."},{"key":"29_CR7","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":"29_CR8","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"},{"key":"29_CR9","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 Theory and Application of Petri Nets","author":"G. Juh\u00e1s","year":"1999","unstructured":"G. Juh\u00e1s. Reasoning about algebraic generalisation of Petri nets. In Proc. of 20 th International Conference on Theory and Application of Petri Nets, Williamsburg, VA, USA, Springer, LNCS 1639, pp. 324\u2013343, 1999."},{"issue":"2","key":"29_CR10","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"},{"key":"29_CR11","unstructured":"J. Padberg. Abstract Petri Nets: Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University of Berlin, 1996."},{"key":"29_CR12","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"}],"container-title":["Lecture Notes in Computer Science","SOFSEM\u201999: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47849-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T15:30:10Z","timestamp":1629559810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47849-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666943","9783540478492"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-47849-3_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}