Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490651621> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1490651621 endingPage "425" @default.
- W1490651621 startingPage "413" @default.
- W1490651621 abstract "In this paper we propose a new approach to check history-preserving equivalence for Petri nets. Exploiting this approach, history-preserving bisimulation is proved decidable for the class of finite nets which are n-safe for some n (the approaches of [17] and of [8] work just for 1-safe nets). Moreover, since we map nets on ordinary transition systems, standard results and algorithms can be re-used, yielding for instance the possibility of deriving minimal realizations. The proposed approach can be applied also to other concurrent formalisms based on partial order semantics, like CCS with causality [4].KeywordsPartial OrderTransition SystemLabel Transition SystemMinimal RealizationTarget ConfigurationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1490651621 created "2016-06-24" @default.
- W1490651621 creator A5036876399 @default.
- W1490651621 creator A5061468940 @default.
- W1490651621 date "1997-01-01" @default.
- W1490651621 modified "2023-09-27" @default.
- W1490651621 title "Minimal transition systems for history-preserving bisimulation" @default.
- W1490651621 cites W1513322016 @default.
- W1490651621 cites W1524031113 @default.
- W1490651621 cites W1587299948 @default.
- W1490651621 cites W1839078145 @default.
- W1490651621 cites W1997387389 @default.
- W1490651621 cites W2003499082 @default.
- W1490651621 cites W2003972637 @default.
- W1490651621 cites W2021473546 @default.
- W1490651621 cites W2061288205 @default.
- W1490651621 cites W2068361557 @default.
- W1490651621 cites W2913408576 @default.
- W1490651621 cites W2914851216 @default.
- W1490651621 cites W3160064372 @default.
- W1490651621 doi "https://doi.org/10.1007/bfb0023477" @default.
- W1490651621 hasPublicationYear "1997" @default.
- W1490651621 type Work @default.
- W1490651621 sameAs 1490651621 @default.
- W1490651621 citedByCount "28" @default.
- W1490651621 countsByYear W14906516212012 @default.
- W1490651621 countsByYear W14906516212013 @default.
- W1490651621 countsByYear W14906516212014 @default.
- W1490651621 countsByYear W14906516212015 @default.
- W1490651621 countsByYear W14906516212019 @default.
- W1490651621 countsByYear W14906516212021 @default.
- W1490651621 countsByYear W14906516212022 @default.
- W1490651621 crossrefType "book-chapter" @default.
- W1490651621 hasAuthorship W1490651621A5036876399 @default.
- W1490651621 hasAuthorship W1490651621A5061468940 @default.
- W1490651621 hasConcept C11413529 @default.
- W1490651621 hasConcept C118615104 @default.
- W1490651621 hasConcept C121332964 @default.
- W1490651621 hasConcept C135315306 @default.
- W1490651621 hasConcept C153269930 @default.
- W1490651621 hasConcept C161771561 @default.
- W1490651621 hasConcept C171018156 @default.
- W1490651621 hasConcept C2524010 @default.
- W1490651621 hasConcept C2779167558 @default.
- W1490651621 hasConcept C2780069185 @default.
- W1490651621 hasConcept C33923547 @default.
- W1490651621 hasConcept C38677869 @default.
- W1490651621 hasConcept C41008148 @default.
- W1490651621 hasConcept C62520636 @default.
- W1490651621 hasConcept C64357122 @default.
- W1490651621 hasConcept C80444323 @default.
- W1490651621 hasConceptScore W1490651621C11413529 @default.
- W1490651621 hasConceptScore W1490651621C118615104 @default.
- W1490651621 hasConceptScore W1490651621C121332964 @default.
- W1490651621 hasConceptScore W1490651621C135315306 @default.
- W1490651621 hasConceptScore W1490651621C153269930 @default.
- W1490651621 hasConceptScore W1490651621C161771561 @default.
- W1490651621 hasConceptScore W1490651621C171018156 @default.
- W1490651621 hasConceptScore W1490651621C2524010 @default.
- W1490651621 hasConceptScore W1490651621C2779167558 @default.
- W1490651621 hasConceptScore W1490651621C2780069185 @default.
- W1490651621 hasConceptScore W1490651621C33923547 @default.
- W1490651621 hasConceptScore W1490651621C38677869 @default.
- W1490651621 hasConceptScore W1490651621C41008148 @default.
- W1490651621 hasConceptScore W1490651621C62520636 @default.
- W1490651621 hasConceptScore W1490651621C64357122 @default.
- W1490651621 hasConceptScore W1490651621C80444323 @default.
- W1490651621 hasLocation W14906516211 @default.
- W1490651621 hasOpenAccess W1490651621 @default.
- W1490651621 hasPrimaryLocation W14906516211 @default.
- W1490651621 hasRelatedWork W1490651621 @default.
- W1490651621 hasRelatedWork W1510777277 @default.
- W1490651621 hasRelatedWork W1554045856 @default.
- W1490651621 hasRelatedWork W2095735488 @default.
- W1490651621 hasRelatedWork W2153273838 @default.
- W1490651621 hasRelatedWork W3011442898 @default.
- W1490651621 hasRelatedWork W3151689772 @default.
- W1490651621 hasRelatedWork W3173785988 @default.
- W1490651621 hasRelatedWork W4317837918 @default.
- W1490651621 hasRelatedWork W2584456909 @default.
- W1490651621 isParatext "false" @default.
- W1490651621 isRetracted "false" @default.
- W1490651621 magId "1490651621" @default.
- W1490651621 workType "book-chapter" @default.