Matches in SemOpenAlex for { <https://semopenalex.org/work/W4306999351> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4306999351 endingPage "272" @default.
- W4306999351 startingPage "245" @default.
- W4306999351 abstract "Uniform coloured Petri nets can be abstracted to their skeleton, the place/transition net that simply turns the coloured tokens into black tokens. A coloured net and its skeleton are related by a net morphism [1, 2]. For the application of the skeleton as an abstraction method in the model checking process, we need to establish a simulation relation [3] between the state spaces of the two nets. Then, universal temporal properties (properties of the ACTL* logic) are preserved. The abstraction relation induced by a net morphism is not necessarily a simulation relation, due to a subtle issue related to deadlocks [4]. We discuss several situations where the abstraction relation induced by a net morphism is as well a simulation relation, thus preserving ACTL* properties. We further propose a partition refinement algorithm for folding a place/transition net into a coloured net. This way, skeleton abstraction becomes available for models given as place/transition nets. Experiments demonstrate the capabilities of the proposed technology. Using skeleton abstraction, we are capable of solving problems that have not been solved before in the Model Checking Contest [5]." @default.
- W4306999351 created "2022-10-22" @default.
- W4306999351 creator A5030731932 @default.
- W4306999351 creator A5081511497 @default.
- W4306999351 date "2022-10-19" @default.
- W4306999351 modified "2023-09-27" @default.
- W4306999351 title "Skeleton Abstraction for Universal Temporal Properties" @default.
- W4306999351 doi "https://doi.org/10.3233/fi-222138" @default.
- W4306999351 hasPublicationYear "2022" @default.
- W4306999351 type Work @default.
- W4306999351 citedByCount "0" @default.
- W4306999351 crossrefType "journal-article" @default.
- W4306999351 hasAuthorship W4306999351A5030731932 @default.
- W4306999351 hasAuthorship W4306999351A5081511497 @default.
- W4306999351 hasBestOaLocation W43069993512 @default.
- W4306999351 hasConcept C110251889 @default.
- W4306999351 hasConcept C111472728 @default.
- W4306999351 hasConcept C11413529 @default.
- W4306999351 hasConcept C118615104 @default.
- W4306999351 hasConcept C124101348 @default.
- W4306999351 hasConcept C124304363 @default.
- W4306999351 hasConcept C137212723 @default.
- W4306999351 hasConcept C138885662 @default.
- W4306999351 hasConcept C14166107 @default.
- W4306999351 hasConcept C18969341 @default.
- W4306999351 hasConcept C199360897 @default.
- W4306999351 hasConcept C2524010 @default.
- W4306999351 hasConcept C25343380 @default.
- W4306999351 hasConcept C30888246 @default.
- W4306999351 hasConcept C33923547 @default.
- W4306999351 hasConcept C38677869 @default.
- W4306999351 hasConcept C41008148 @default.
- W4306999351 hasConcept C80444323 @default.
- W4306999351 hasConceptScore W4306999351C110251889 @default.
- W4306999351 hasConceptScore W4306999351C111472728 @default.
- W4306999351 hasConceptScore W4306999351C11413529 @default.
- W4306999351 hasConceptScore W4306999351C118615104 @default.
- W4306999351 hasConceptScore W4306999351C124101348 @default.
- W4306999351 hasConceptScore W4306999351C124304363 @default.
- W4306999351 hasConceptScore W4306999351C137212723 @default.
- W4306999351 hasConceptScore W4306999351C138885662 @default.
- W4306999351 hasConceptScore W4306999351C14166107 @default.
- W4306999351 hasConceptScore W4306999351C18969341 @default.
- W4306999351 hasConceptScore W4306999351C199360897 @default.
- W4306999351 hasConceptScore W4306999351C2524010 @default.
- W4306999351 hasConceptScore W4306999351C25343380 @default.
- W4306999351 hasConceptScore W4306999351C30888246 @default.
- W4306999351 hasConceptScore W4306999351C33923547 @default.
- W4306999351 hasConceptScore W4306999351C38677869 @default.
- W4306999351 hasConceptScore W4306999351C41008148 @default.
- W4306999351 hasConceptScore W4306999351C80444323 @default.
- W4306999351 hasIssue "2-4" @default.
- W4306999351 hasLocation W43069993511 @default.
- W4306999351 hasLocation W43069993512 @default.
- W4306999351 hasOpenAccess W4306999351 @default.
- W4306999351 hasPrimaryLocation W43069993511 @default.
- W4306999351 hasRelatedWork W142178511 @default.
- W4306999351 hasRelatedWork W1583207719 @default.
- W4306999351 hasRelatedWork W2105941113 @default.
- W4306999351 hasRelatedWork W2140364234 @default.
- W4306999351 hasRelatedWork W278680301 @default.
- W4306999351 hasRelatedWork W3168651539 @default.
- W4306999351 hasRelatedWork W3202282633 @default.
- W4306999351 hasRelatedWork W4225874577 @default.
- W4306999351 hasRelatedWork W4306999351 @default.
- W4306999351 hasRelatedWork W2586039792 @default.
- W4306999351 hasVolume "187" @default.
- W4306999351 isParatext "false" @default.
- W4306999351 isRetracted "false" @default.
- W4306999351 workType "article" @default.