Matches in SemOpenAlex for { <https://semopenalex.org/work/W4283797166> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4283797166 endingPage "104939" @default.
- W4283797166 startingPage "104939" @default.
- W4283797166 abstract "Goltz and Reisig generalised Petri's concept of processes of one-safe Petri nets to general nets where places carry multiple tokens. BD-processes are equivalence classes of Goltz-Reisig processes connected through the swapping transformation of Best and Devillers; they can be considered as an alternative representation of runs of nets. Here we present an order respecting bijection between the BD-processes and the FS-processes of a countable net, the latter being defined -- in an analogous way -- as equivalence classes of firing sequences. Using this, we show that a countable net without binary conflicts has a (unique) largest BD-process." @default.
- W4283797166 created "2022-07-05" @default.
- W4283797166 creator A5043019083 @default.
- W4283797166 creator A5048229897 @default.
- W4283797166 creator A5085709699 @default.
- W4283797166 date "2022-11-01" @default.
- W4283797166 modified "2023-10-16" @default.
- W4283797166 title "Abstract processes in the absence of conflicts in general place/transition systems" @default.
- W4283797166 cites W2023209100 @default.
- W4283797166 cites W2036271734 @default.
- W4283797166 cites W2061288205 @default.
- W4283797166 cites W2114472265 @default.
- W4283797166 cites W3128227552 @default.
- W4283797166 doi "https://doi.org/10.1016/j.ic.2022.104939" @default.
- W4283797166 hasPublicationYear "2022" @default.
- W4283797166 type Work @default.
- W4283797166 citedByCount "0" @default.
- W4283797166 crossrefType "journal-article" @default.
- W4283797166 hasAuthorship W4283797166A5043019083 @default.
- W4283797166 hasAuthorship W4283797166A5048229897 @default.
- W4283797166 hasAuthorship W4283797166A5085709699 @default.
- W4283797166 hasBestOaLocation W42837971662 @default.
- W4283797166 hasConcept C110729354 @default.
- W4283797166 hasConcept C11413529 @default.
- W4283797166 hasConcept C118615104 @default.
- W4283797166 hasConcept C14166107 @default.
- W4283797166 hasConcept C156103551 @default.
- W4283797166 hasConcept C17744445 @default.
- W4283797166 hasConcept C199539241 @default.
- W4283797166 hasConcept C24424167 @default.
- W4283797166 hasConcept C2524010 @default.
- W4283797166 hasConcept C2776359362 @default.
- W4283797166 hasConcept C2780069185 @default.
- W4283797166 hasConcept C33923547 @default.
- W4283797166 hasConcept C38677869 @default.
- W4283797166 hasConcept C41008148 @default.
- W4283797166 hasConcept C48372109 @default.
- W4283797166 hasConcept C80444323 @default.
- W4283797166 hasConcept C94375191 @default.
- W4283797166 hasConcept C94625758 @default.
- W4283797166 hasConceptScore W4283797166C110729354 @default.
- W4283797166 hasConceptScore W4283797166C11413529 @default.
- W4283797166 hasConceptScore W4283797166C118615104 @default.
- W4283797166 hasConceptScore W4283797166C14166107 @default.
- W4283797166 hasConceptScore W4283797166C156103551 @default.
- W4283797166 hasConceptScore W4283797166C17744445 @default.
- W4283797166 hasConceptScore W4283797166C199539241 @default.
- W4283797166 hasConceptScore W4283797166C24424167 @default.
- W4283797166 hasConceptScore W4283797166C2524010 @default.
- W4283797166 hasConceptScore W4283797166C2776359362 @default.
- W4283797166 hasConceptScore W4283797166C2780069185 @default.
- W4283797166 hasConceptScore W4283797166C33923547 @default.
- W4283797166 hasConceptScore W4283797166C38677869 @default.
- W4283797166 hasConceptScore W4283797166C41008148 @default.
- W4283797166 hasConceptScore W4283797166C48372109 @default.
- W4283797166 hasConceptScore W4283797166C80444323 @default.
- W4283797166 hasConceptScore W4283797166C94375191 @default.
- W4283797166 hasConceptScore W4283797166C94625758 @default.
- W4283797166 hasFunder F4320320879 @default.
- W4283797166 hasLocation W42837971661 @default.
- W4283797166 hasLocation W42837971662 @default.
- W4283797166 hasLocation W42837971663 @default.
- W4283797166 hasOpenAccess W4283797166 @default.
- W4283797166 hasPrimaryLocation W42837971661 @default.
- W4283797166 hasRelatedWork W1966794195 @default.
- W4283797166 hasRelatedWork W2026504565 @default.
- W4283797166 hasRelatedWork W2027277382 @default.
- W4283797166 hasRelatedWork W2279732055 @default.
- W4283797166 hasRelatedWork W2952259524 @default.
- W4283797166 hasRelatedWork W2995857455 @default.
- W4283797166 hasRelatedWork W2998840281 @default.
- W4283797166 hasRelatedWork W4287020903 @default.
- W4283797166 hasRelatedWork W4288805235 @default.
- W4283797166 hasRelatedWork W4311231917 @default.
- W4283797166 hasVolume "289" @default.
- W4283797166 isParatext "false" @default.
- W4283797166 isRetracted "false" @default.
- W4283797166 workType "article" @default.