Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131994575> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2131994575 endingPage "35" @default.
- W2131994575 startingPage "1" @default.
- W2131994575 abstract "In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalisation of the ordinary model where some places, designated as open, represent an interface between the system and the environment. Besides generalising the token game to reflect this extension, we define a truly concurrent semantics for open nets by extending the Goltz–Reisig process semantics of Petri nets. We introduce a composition operation over open nets, characterised as a pushout in the corresponding category, suitable for modelling both interaction through open places and synchronisation of transitions. The deterministic process semantics is shown to be compositional with respect to such a composition operation. If a net $Z_3$ results as the composition of two nets $Z_1$ and $Z_2$, having a common subnet $Z_0$, then any two deterministic processes of $Z_1$ and $Z_2$ that ‘agree’ on the common part, can be ‘amalgamated’ to produce a deterministic process of $Z_3$. Conversely, any deterministic process of $Z_3$ can be decomposed into processes of the component nets. The amalgamation and decomposition operations are shown to be inverse to each other, leading to a bijective correspondence between the deterministic processes of $Z_3$ and the pair of deterministic processes of $Z_1$ and $Z_2$ that agree on the common subnet $Z_0$. Technically, our result is similar to the amalgamation theorem for data-types in the framework of algebraic specification. A possible application field of the proposed constructions and results is the modelling of interorganisational workflows, recently studied in the literature. This is illustrated by a running example." @default.
- W2131994575 created "2016-06-24" @default.
- W2131994575 creator A5002594574 @default.
- W2131994575 creator A5031056947 @default.
- W2131994575 creator A5062051157 @default.
- W2131994575 creator A5079512613 @default.
- W2131994575 date "2005-02-01" @default.
- W2131994575 modified "2023-10-14" @default.
- W2131994575 title "Compositional semantics for open Petri nets based on deterministic processes" @default.
- W2131994575 cites W149770690 @default.
- W2131994575 cites W1503948619 @default.
- W2131994575 cites W1507554808 @default.
- W2131994575 cites W1517193498 @default.
- W2131994575 cites W1520893111 @default.
- W2131994575 cites W1528214111 @default.
- W2131994575 cites W1553261637 @default.
- W2131994575 cites W1559264271 @default.
- W2131994575 cites W1603788080 @default.
- W2131994575 cites W1604240241 @default.
- W2131994575 cites W1859962912 @default.
- W2131994575 cites W1991052229 @default.
- W2131994575 cites W1995768429 @default.
- W2131994575 cites W2022479543 @default.
- W2131994575 cites W2027622095 @default.
- W2131994575 cites W2036836043 @default.
- W2131994575 cites W2057814731 @default.
- W2131994575 cites W2061288205 @default.
- W2131994575 cites W2078060182 @default.
- W2131994575 cites W2086302464 @default.
- W2131994575 cites W2104639956 @default.
- W2131994575 cites W2113355185 @default.
- W2131994575 cites W2129466958 @default.
- W2131994575 cites W2914421362 @default.
- W2131994575 cites W3047749363 @default.
- W2131994575 cites W98533621 @default.
- W2131994575 doi "https://doi.org/10.1017/s0960129504004311" @default.
- W2131994575 hasPublicationYear "2005" @default.
- W2131994575 type Work @default.
- W2131994575 sameAs 2131994575 @default.
- W2131994575 citedByCount "57" @default.
- W2131994575 countsByYear W21319945752012 @default.
- W2131994575 countsByYear W21319945752013 @default.
- W2131994575 countsByYear W21319945752014 @default.
- W2131994575 countsByYear W21319945752015 @default.
- W2131994575 countsByYear W21319945752016 @default.
- W2131994575 countsByYear W21319945752017 @default.
- W2131994575 countsByYear W21319945752018 @default.
- W2131994575 countsByYear W21319945752019 @default.
- W2131994575 countsByYear W21319945752020 @default.
- W2131994575 countsByYear W21319945752021 @default.
- W2131994575 countsByYear W21319945752023 @default.
- W2131994575 crossrefType "journal-article" @default.
- W2131994575 hasAuthorship W2131994575A5002594574 @default.
- W2131994575 hasAuthorship W2131994575A5031056947 @default.
- W2131994575 hasAuthorship W2131994575A5062051157 @default.
- W2131994575 hasAuthorship W2131994575A5079512613 @default.
- W2131994575 hasConcept C136155141 @default.
- W2131994575 hasConcept C184337299 @default.
- W2131994575 hasConcept C199360897 @default.
- W2131994575 hasConcept C38677869 @default.
- W2131994575 hasConcept C41008148 @default.
- W2131994575 hasConcept C80444323 @default.
- W2131994575 hasConceptScore W2131994575C136155141 @default.
- W2131994575 hasConceptScore W2131994575C184337299 @default.
- W2131994575 hasConceptScore W2131994575C199360897 @default.
- W2131994575 hasConceptScore W2131994575C38677869 @default.
- W2131994575 hasConceptScore W2131994575C41008148 @default.
- W2131994575 hasConceptScore W2131994575C80444323 @default.
- W2131994575 hasIssue "1" @default.
- W2131994575 hasLocation W21319945751 @default.
- W2131994575 hasOpenAccess W2131994575 @default.
- W2131994575 hasPrimaryLocation W21319945751 @default.
- W2131994575 hasRelatedWork W1474311139 @default.
- W2131994575 hasRelatedWork W1506247301 @default.
- W2131994575 hasRelatedWork W1550861479 @default.
- W2131994575 hasRelatedWork W1606047829 @default.
- W2131994575 hasRelatedWork W1897277602 @default.
- W2131994575 hasRelatedWork W1969008178 @default.
- W2131994575 hasRelatedWork W2095807838 @default.
- W2131994575 hasRelatedWork W2142663066 @default.
- W2131994575 hasRelatedWork W2972287129 @default.
- W2131994575 hasRelatedWork W2586039792 @default.
- W2131994575 hasVolume "15" @default.
- W2131994575 isParatext "false" @default.
- W2131994575 isRetracted "false" @default.
- W2131994575 magId "2131994575" @default.
- W2131994575 workType "article" @default.