{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:51:12Z","timestamp":1742935872327,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319574172"},{"type":"electronic","value":"9783319574189"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57418-9_15","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T07:11:16Z","timestamp":1493017876000},"page":"242-257","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Concurrency-Preserving Minimal Process Representation"],"prefix":"10.1007","author":[{"given":"Adri\u00e1n","family":"Puerto","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"issue":"4","key":"15_CR1","doi-asserted-by":"crossref","first-page":"323","DOI":"10.3233\/FI-2014-1079","volume":"133","author":"L Bernardinello","year":"2014","unstructured":"Bernardinello, L., Ferigato, C., Haar, S., Pomello, L.: Closed sets in occurrence nets with conflicts. Fund. Inform. 133(4), 323\u2013344 (2014)","journal-title":"Fund. Inform."},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-2010-365","volume":"105","author":"L Bernardinello","year":"2010","unstructured":"Bernardinello, L., Pomello, L., Rombol\u00e0, S.: Closure operators and lattices derived from concurrency in posets and occurrence nets. Fund. Inform. 105, 211\u2013235 (2010)","journal-title":"Fund. Inform."},{"key":"15_CR3","unstructured":"Bernardinello, L., Pomello, L., Rombol\u00e0, S.: Orthomodular algebraic lattices related to combinatorial posets. In: Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, 17\u201319 September 2014, pp. 241\u2013245 (2014)"},{"key":"15_CR4","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-73483-0","volume-title":"Nonsequential Processes-A Petri Net View","author":"E Best","year":"1988","unstructured":"Best, E., Fernandez, C.: Nonsequential Processes-A Petri Net View. Monographs in Theoretical Computer Science. An EATCS Series, vol. 13. Springer, Heidelberg (1988)"},{"key":"15_CR5","volume-title":"Lattice Theory","author":"G Birkhoff","year":"1979","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society, Providence (1979)","edition":"3"},{"key":"15_CR6","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)"},{"issue":"3","key":"15_CR7","doi-asserted-by":"publisher","first-page":"600","DOI":"10.2307\/2371374","volume":"63","author":"B Dushnik","year":"1941","unstructured":"Dushnik, B., Miller, E.W.: Partially ordered sets. Am. J. Math. 63(3), 600\u2013610 (1941)","journal-title":"Am. J. Math."},{"key":"15_CR8","volume-title":"Orthomodular Lattices","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach, G.: Orthomodular Lattices. Academic Press, New York (1983)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-17906-2_30","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"A Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 278\u2013324. Springer, Heidelberg (1987). doi: 10.1007\/3-540-17906-2_30"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-94-009-5315-4_2","volume-title":"Graphs, Order: The Role of Graphs in the Theory of Ordered Sets and Its Applications","author":"RH M\u00f6hring","year":"1985","unstructured":"M\u00f6hring, R.H.: Algorithmic aspects of comparability graphs, interval graphs. In: Rival, I. (ed.) Graphs, Order: The Role of Graphs in the Theory of Ordered Sets and Its Applications, pp. 41\u2013101. Springer Netherlands, Dordrecht (1985)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-18086-9_30","volume-title":"Advances in Petri Nets 1987","author":"CA Petri","year":"1987","unstructured":"Petri, C.A., Smith, E.: Concurrency and continuity. In: Rozenberg, G. (ed.) APN 1986. LNCS, vol. 266, pp. 273\u2013292. Springer, Heidelberg (1987). doi: 10.1007\/3-540-18086-9_30"},{"key":"15_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48093-9","volume-title":"Carl Adam Petri: Life and Science","author":"E Smith","year":"2015","unstructured":"Smith, E.: Carl Adam Petri: Life and Science. Springer, Heidelberg (2015)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 325\u2013392. Springer, Heidelberg (1987). doi: 10.1007\/3-540-17906-2_31"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57418-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T04:00:53Z","timestamp":1601956853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57418-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319574172","9783319574189"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57418-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 May 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ens-lyon.fr\/LIP\/PLUME\/RAMiCS17\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}