{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:23:46Z","timestamp":1777645426518,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2009,8]]},"abstract":"<jats:p>This paper considers distributed systems, defined as a collection of\n\t\t\t components interacting through interfaces. Components, interfaces and\n\t\t\t distributed systems are modeled as Petri nets. It is well known that the\n\t\t\t unfolding of such a distributed system factorises, in the sense that it can be\n\t\t\t expressed as the composition of unfoldings of its components. This factorised\n\t\t\t form of the unfolding generally provides a more compact representation of the\n\t\t\t system runs, because each component does not need to represent the possible\n\t\t\t choices (conflicts) appearing in the other components. Moreover, the unfolding\n\t\t\t factorisation makes it possible to analyse the system by parts.<\/jats:p>\n                  <jats:p>The paper focuses on the derivation of a finite and complete prefix (FCP) in the\n\t\t\t unfolding of a distributed system. Specifically, one would like to directly\n\t\t\t obtain such a FCP in factorised form, without computing first a FCP of the\n\t\t\t global distributed system and then factorising it. The construction of such a\n\t\t\t \"modular FCP\" is based on deriving summaries of\n\t\t\t component behaviours w.r.t. their interfaces, that are then communicated to the\n\t\t\t neighbouring components. The latter combine these summaries with their local\n\t\t\t behaviours, and prepare interface summaries for the next components. This\n\t\t\t globally takes the form of a message passing algorithm, where the global system\n\t\t\t is never considered.<\/jats:p>","DOI":"10.3233\/fi-2009-148","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T22:54:31Z","timestamp":1575327271000},"page":"219-244","source":"Crossref","is-referenced-by-count":2,"title":["Modular Construction of Finite and Complete Prefixes of Petri net\t\t\t Unfoldings"],"prefix":"10.1177","volume":"95","author":[{"given":"Agnes","family":"Madalinski.","sequence":"first","affiliation":[{"name":"Faculty of Engineering Science, University Austral de\r\t\t\t Chile, General Lagos 2086, Valdivia, Chile. E-mail: amadalin@uach.cl"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Fabre","sequence":"additional","affiliation":[{"name":"IRISA\/INRIA Rennes, Campus de Beaulieu, 35042 Rennes\r\t\t\t CEDEX, France. E-mail: fabre@irisa.fr"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2009,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-148","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:32:12Z","timestamp":1777444332000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2009-148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["10.3233\/FI-2009-148"],"URL":"https:\/\/doi.org\/10.3233\/fi-2009-148","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}