Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288021205> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4288021205 abstract "A Petri net is choice-free if any place has at most one transition in its postset (consuming its tokens) and it is (extended) free-choice (EFC) if the postsets of any two places are either equal or disjoint. Asymmetric choice (AC) extends EFC such that two places may also have postsets where one is contained in the other. In reduced AC nets this containment is limited: If the postsets are neither disjoint nor equal, one is a singleton and the other has exactly two transitions. The aim of Petri net synthesis is to find an unlabelled Petri net in some target class with a reachability graph isomorphic to a given finite labelled transition system (lts). Choice-free nets have strong properties, allowing to often easily detect when synthesis will fail or at least to quicken the synthesis. With EFC as the target class, only few properties can be checked ahead and there seem to be no short cuts lowering the complexity of the synthesis (compared to arbitrary Petri nets). For AC nets no synthesis procedure is known at all. We show here how synthesis to a superclass of reduced AC nets (not containing the full AC net class) can be done." @default.
- W4288021205 created "2022-07-26" @default.
- W4288021205 creator A5027335577 @default.
- W4288021205 date "2019-11-20" @default.
- W4288021205 modified "2023-10-18" @default.
- W4288021205 title "Synthesis of Reduced Asymmetric Choice Petri Nets" @default.
- W4288021205 doi "https://doi.org/10.48550/arxiv.1911.09133" @default.
- W4288021205 hasPublicationYear "2019" @default.
- W4288021205 type Work @default.
- W4288021205 citedByCount "0" @default.
- W4288021205 crossrefType "posted-content" @default.
- W4288021205 hasAuthorship W4288021205A5027335577 @default.
- W4288021205 hasBestOaLocation W42880212051 @default.
- W4288021205 hasConcept C11413529 @default.
- W4288021205 hasConcept C114614502 @default.
- W4288021205 hasConcept C118615104 @default.
- W4288021205 hasConcept C132525143 @default.
- W4288021205 hasConcept C136643341 @default.
- W4288021205 hasConcept C14166107 @default.
- W4288021205 hasConcept C154945302 @default.
- W4288021205 hasConcept C197551870 @default.
- W4288021205 hasConcept C2524010 @default.
- W4288021205 hasConcept C2777212361 @default.
- W4288021205 hasConcept C33923547 @default.
- W4288021205 hasConcept C38677869 @default.
- W4288021205 hasConcept C41008148 @default.
- W4288021205 hasConcept C45340560 @default.
- W4288021205 hasConcept C80444323 @default.
- W4288021205 hasConceptScore W4288021205C11413529 @default.
- W4288021205 hasConceptScore W4288021205C114614502 @default.
- W4288021205 hasConceptScore W4288021205C118615104 @default.
- W4288021205 hasConceptScore W4288021205C132525143 @default.
- W4288021205 hasConceptScore W4288021205C136643341 @default.
- W4288021205 hasConceptScore W4288021205C14166107 @default.
- W4288021205 hasConceptScore W4288021205C154945302 @default.
- W4288021205 hasConceptScore W4288021205C197551870 @default.
- W4288021205 hasConceptScore W4288021205C2524010 @default.
- W4288021205 hasConceptScore W4288021205C2777212361 @default.
- W4288021205 hasConceptScore W4288021205C33923547 @default.
- W4288021205 hasConceptScore W4288021205C38677869 @default.
- W4288021205 hasConceptScore W4288021205C41008148 @default.
- W4288021205 hasConceptScore W4288021205C45340560 @default.
- W4288021205 hasConceptScore W4288021205C80444323 @default.
- W4288021205 hasLocation W42880212051 @default.
- W4288021205 hasOpenAccess W4288021205 @default.
- W4288021205 hasPrimaryLocation W42880212051 @default.
- W4288021205 hasRelatedWork W1522386340 @default.
- W4288021205 hasRelatedWork W2136709541 @default.
- W4288021205 hasRelatedWork W2154785561 @default.
- W4288021205 hasRelatedWork W2171468557 @default.
- W4288021205 hasRelatedWork W2365314561 @default.
- W4288021205 hasRelatedWork W2923641741 @default.
- W4288021205 hasRelatedWork W2990330044 @default.
- W4288021205 hasRelatedWork W4200632865 @default.
- W4288021205 hasRelatedWork W4225482295 @default.
- W4288021205 hasRelatedWork W4288021205 @default.
- W4288021205 isParatext "false" @default.
- W4288021205 isRetracted "false" @default.
- W4288021205 workType "article" @default.