{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:40:52Z","timestamp":1725540052058},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046384"},{"type":"electronic","value":"9783642046391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04639-1_8","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T13:37:25Z","timestamp":1257255445000},"page":"103-118","source":"Crossref","is-referenced-by-count":0,"title":["A Relation-Algebraic Approach to Liveness of Place\/Transition Nets"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Fronk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Berghammer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/978-3-540-24771-5_6","volume-title":"Relational and Kleene-Algebraic Methods in Computer Science","author":"R. Berghammer","year":"2004","unstructured":"Berghammer, R., Fronk, A.: Applying relational algebra in 3D graphical software design. In: Berghammer, R., M\u00f6ller, B., Struth, G. (eds.) RelMiCS 2003. LNCS, vol.\u00a03051, pp. 62\u201373. Springer, Heidelberg (2004)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-61042-1_38","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Berghammer","year":"1996","unstructured":"Berghammer, R., Karger, B., Ulke, C.: Relational-algebraic analysis of Petri nets with RelView. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 49\u201369. Springer, Heidelberg (1996)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90172-6","volume":"43","author":"R. Berghammer","year":"1996","unstructured":"Berghammer, R., Zierer, H.: Relational algebraic semantics of deterministic and nondeterministic programs. Theoretical Computer Science\u00a043, 123\u2013147 (1996)","journal-title":"Theoretical Computer Science"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s00236-003-0121-z","volume":"40","author":"E.-E. Doberkat","year":"2003","unstructured":"Doberkat, E.-E.: Pipelines: Modelling a software architecture through relations. Acta Informatica\u00a040, 37\u201379 (2003)","journal-title":"Acta Informatica"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/3-540-56689-9_45","volume-title":"Advances in Petri Nets 1993","author":"A. Finkel","year":"1993","unstructured":"Finkel, A.: The minimal coverability graph for Petri nets. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol.\u00a0674, pp. 210\u2013243. Springer, Heidelberg (1993)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1109\/SEFM.2004.1347544","volume-title":"2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM)","author":"A. Fronk","year":"2004","unstructured":"Fronk, A.: Using relation algebra for the analysis of Petri nets in a CASE tool based approach. In: 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM), Beijing, pp. 396\u2013405. IEEE, Los Alamitos (2004)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.jsc.2008.04.005","volume":"44","author":"A. Fronk","year":"2009","unstructured":"Fronk, A., Kehden, B.: State space analysis of petri nets with relation-algebraic methods. Journal of Symbolic Computation\u00a044, 15\u201347 (2009)","journal-title":"Journal of Symbolic Computation"},{"key":"8_CR8","unstructured":"Fronk, A., Pleumann, J.: Relation-algebraic Analysis of Petri Nets: Concepts and Implementation. Petri Net News Letters, 61\u201368 (April 2005)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11734673_7","volume-title":"Relational Methods in Computer Science","author":"A. Fronk","year":"2006","unstructured":"Fronk, A., Pleumann, J.: On Relational Cycles. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929, pp. 83\u201395. Springer, Heidelberg (2006)"},{"key":"8_CR10","unstructured":"Leoniuk, B.: ROBDD-based implementation of relational algebra with applications. Dissertation, Universit\u00e4t Kiel (2001) (in German)"},{"key":"8_CR11","unstructured":"Milanese, U.: On the implementation of a ROBDD-based tool for the manipulation and visualization of relations. Dissertation, Universit\u00e4t Kiel (2003) (in German)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-58152-9_23","volume-title":"Application and Theory of Petri Nets 1994","author":"E. Pastor","year":"1994","unstructured":"Pastor, E., Roig, O., Cortadella, J., Badia, R.M.: Petri net analysis using Boolean manipulation. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 416\u2013435. Springer, Heidelberg (1994)"},{"key":"8_CR13","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets: an introduction. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)"},{"key":"8_CR14","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-77968-8","volume-title":"Relations and graphs","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and graphs. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04639-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:09:37Z","timestamp":1619780977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04639-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046384","9783642046391"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04639-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}