{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:20:29Z","timestamp":1743124829034,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676935"},{"type":"electronic","value":"9783540449881"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44988-4_10","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:38:07Z","timestamp":1185917887000},"page":"146-165","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Process Semantics of 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":[[2000,6,9]]},"reference":[{"key":"10_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":"10_CR2","unstructured":"P. Burmeister. Lecture Notes on Universal Algebra-Many Sorted Partial Algebras. Technical Report, TU Darmstadt, 1998."},{"issue":"7","key":"10_CR3","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":"10_CR4","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":"10_CR5","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":"10_CR6","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. On semantics of 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."},{"issue":"2","key":"10_CR7","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":"10_CR8","doi-asserted-by":"publisher","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":"10_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","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":"10_CR10","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":"10_CR11","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","Application and Theory of Petri Nets 2000"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44988-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T01:05:04Z","timestamp":1635123904000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44988-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676935","9783540449881"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-44988-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"9 June 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}