{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:51:44Z","timestamp":1725486704286},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73094-1_13","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T01:53:56Z","timestamp":1183168436000},"page":"184-203","source":"Crossref","is-referenced-by-count":3,"title":["Complete Process Semantics for Inhibitor Nets"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Juh\u00e1s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Lorenz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Mauser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Billington, J.: Protocol specification using p-graphs, a technique based on coloured petri nets. In: Reisig, W., Rozenberg, G. [20] pp. 293\u2013330","DOI":"10.1007\/3-540-65307-4_51"},{"issue":"2-3","key":"13_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.3233\/FI-1999-402304","volume":"40","author":"N. Busi","year":"1999","unstructured":"Busi, N., Pinna, G.M.: Process semantics for place\/transition nets with inhibitor and read arcs. Fundam. Inform.\u00a040(2-3), 165\u2013197 (1999)","journal-title":"Fundam. Inform."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Donatelli, S., Franceschinis, G.: Modelling and analysis of distributed software using gspns. In: Reisig, W., Rozenberg, G. [20], pp. 438\u2013476","DOI":"10.1007\/3-540-65307-4_54"},{"issue":"2\/3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The non-sequential behaviour of petri nets. Information and Control\u00a057(2\/3), 125\u2013147 (1983)","journal-title":"Information and Control"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/BFb0036914","volume-title":"Automata, Languages and Programming","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: Processes of place\/transition-nets. In: D\u00edaz, J. (ed.) Automata, Languages and Programming. LNCS, vol.\u00a0154, pp. 264\u2013277. Springer, Heidelberg (1983)"},{"issue":"1","key":"13_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R. Janicki","year":"1995","unstructured":"Janicki, R., Koutny, M.: Semantics of inhibitor nets. Inf. Comput.\u00a0123(1), 1\u201316 (1995)","journal-title":"Inf. Comput."},{"key":"13_CR7","first-page":"1","volume-title":"Monographs in Theoretical Computer Science","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Monographs in Theoretical Computer Science, pp. 1\u20133. Springer, Heidelberg (1997)"},{"key":"13_CR8","unstructured":"Juhas, G.: Are these events independend? it depends! Habilitation (2005)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Juhas, G., Lorenz, R., Mauser, S.: Synchronous + concurrent + sequential = earlier than + not later than. In: Proceedings of ACSD 2006, pp. 261\u2013270 (2006)","DOI":"10.1109\/ACSD.2006.31"},{"key":"13_CR10","unstructured":"Juh\u00e1s, G., Lorenz, R., Mauser, S.: Complete process semantics of inhibitor net (2007) Technical report http:\/\/www.informatik.ku-eichstaett.de\/mitarbeiter\/lorenz\/techreports\/complete.pdf"},{"issue":"1\/2","key":"13_CR11","first-page":"3","volume":"24","author":"A. Kiehn","year":"1988","unstructured":"Kiehn, A.: On the interrelation between synchronized and non-synchronized behaviour of petri nets. Elektronische Informationsverarbeitung und Kybernetik\u00a024(1\/2), 3\u201318 (1988)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/3-540-44988-4_16","volume-title":"Application and Theory of Petri Nets 2000","author":"H.C.M. Kleijn","year":"2000","unstructured":"Kleijn, H.C.M., Koutny, M.: Process semantics of p\/t-nets with inhibitor arcs. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 261\u2013281. Springer, Heidelberg (2000)"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.ic.2003.11.002","volume":"190","author":"H.C.M. Kleijn","year":"2004","unstructured":"Kleijn, H.C.M., Koutny, M.: Process semantics of general inhibitor nets. Inf. Comput.\u00a0190(1), 18\u201369 (2004)","journal-title":"Inf. Comput."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Lorenz, R., Bergenthum, R., Mauser, S.: Testing the executability of scenarios in general inhibitor nets. In: Proceedings ACSD 2007 (2007)","DOI":"10.1109\/ACSD.2007.73"},{"key":"13_CR15","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. Peterson","year":"1981","unstructured":"Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"386","DOI":"10.4064\/fm-16-1-386-389","volume":"16","author":"E. Szpilrajn","year":"1930","unstructured":"Szpilrajn, E.: Sur l\u2019extension de l\u2019ordre partiel. Fundamenta Mathematicae\u00a016, 386\u2013389 (1930)","journal-title":"Fundamenta Mathematicae"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55767-9","volume-title":"Modular Construction and Partial Order Semantics of Petri Nets","author":"W. Vogler","year":"1992","unstructured":"Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. LNCS, vol.\u00a0625. Springer, Heidelberg (1992)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-55610-9_176","volume-title":"Advances in Petri Nets: The DEMON Project","author":"W. Vogler","year":"1992","unstructured":"Vogler, W.: Partial words versus processes: a short comparison. In: Rozenberg, G. (ed.) Advances in Petri Nets: The DEMON Project. LNCS, vol.\u00a0609, pp. 292\u2013303. Springer, Heidelberg (1992)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/BFb0029994","volume-title":"Mathematical Foundations of Computer Science 1997","author":"W. Vogler","year":"1997","unstructured":"Vogler, W.: Partial order semantics and read arcs. In: Privara, I., Ruzicka, P. (eds.) MFCS 1997. LNCS, vol.\u00a01295, pp. 508\u2013517. Springer, Heidelberg (1997)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl. LNCS, vol.\u00a01492. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73094-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:11:44Z","timestamp":1605744704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73094-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730934"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73094-1_13","relation":{},"subject":[]}}