{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:31:00Z","timestamp":1777645860176,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996,4]]},"abstract":"<jats:p>In \u201cPetti nets are Monoids\u201d by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this framework lacks structure in the sense that there is no categorical technique to define a composition of nets satisfying some given synchronization specification. In this paper, a synchronization operation is proposed which is a functor induced by some given synchronization prescription at the transition level. Moreover, since this operation is also able to represent the asynchronous composition, the fact that some categories of Petri nets lack coproducts (asynchronous composition) is not anymore a restriction for interaction semantics.<\/jats:p>","DOI":"10.3233\/fi-1996-2612","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T20:48:28Z","timestamp":1575319708000},"page":"11-22","source":"Crossref","is-referenced-by-count":1,"title":["SYNCHRONIZATION IN PETRI NETS"],"prefix":"10.1177","volume":"26","author":[{"given":"P. Blauth","family":"Menezes","sequence":"first","affiliation":[{"name":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal, e-mail: blauth@solo.inesc.pt"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. F\u00e9lix","family":"Costa","sequence":"additional","affiliation":[{"name":"Departamento de Inform\u00e1tica, Faculdade de Ci\u00eancias, Universidade de Lisboa Campo Grande, 1700 Lisboa, Portugal, e-mail: fgc@di.fc.ul.pt"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[1996,1,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1996-2612","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1996-2612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:33:32Z","timestamp":1777444412000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-1996-2612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["10.3233\/FI-1996-2612"],"URL":"https:\/\/doi.org\/10.3233\/fi-1996-2612","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1,1]]}}}