Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100094088> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2100094088 abstract "<p>This paper demonstrates the pontential of verification based on state spaces reduced by equivalence relations. The basic observation is that quite often, some states of a system are similar, i.e., they induce similar behaviours. Similarity can be formally expressed by defining equivalence relations on the set of states and the set of actions of a system under consideration. A state space can be constructed, in which the nodes correspond to equivalence classes of states and the arcs correspond to equivalence classes of actions. Such a state space is often much smaller than the ordinary full state space, but does allow derivation of many verification results.</p><p>Other researches have taken advantage of the symmetries of systems, which induce a certain kind of equivalence. The contribution fo this paper is to show that a more general notion of equivalence is useful. As example, a communication protocol modelled in the formalism of Coloured Petri Nets is verified. Aided by a computer tool supporting state spaces with equivalence classes, significant reduction of state spaces are exhibited.</p><p><strong>Topics</strong>. State space reduction methods, equivalence vs. symmetry, High-level Petri Nets, communication protocols.</p>" @default.
- W2100094088 created "2016-06-24" @default.
- W2100094088 creator A5005213951 @default.
- W2100094088 creator A5045641309 @default.
- W2100094088 date "1997-02-01" @default.
- W2100094088 modified "2023-10-16" @default.
- W2100094088 title "Verification by State Spaces with Equivalence Classes" @default.
- W2100094088 doi "https://doi.org/10.7146/dpb.v26i515.7044" @default.
- W2100094088 hasPublicationYear "1997" @default.
- W2100094088 type Work @default.
- W2100094088 sameAs 2100094088 @default.
- W2100094088 citedByCount "1" @default.
- W2100094088 crossrefType "journal-article" @default.
- W2100094088 hasAuthorship W2100094088A5005213951 @default.
- W2100094088 hasAuthorship W2100094088A5045641309 @default.
- W2100094088 hasBestOaLocation W21000940881 @default.
- W2100094088 hasConcept C105795698 @default.
- W2100094088 hasConcept C11413529 @default.
- W2100094088 hasConcept C118615104 @default.
- W2100094088 hasConcept C156103551 @default.
- W2100094088 hasConcept C202444582 @default.
- W2100094088 hasConcept C2524010 @default.
- W2100094088 hasConcept C2780069185 @default.
- W2100094088 hasConcept C33923547 @default.
- W2100094088 hasConcept C38677869 @default.
- W2100094088 hasConcept C41008148 @default.
- W2100094088 hasConcept C48103436 @default.
- W2100094088 hasConcept C72434380 @default.
- W2100094088 hasConcept C80444323 @default.
- W2100094088 hasConcept C96469262 @default.
- W2100094088 hasConceptScore W2100094088C105795698 @default.
- W2100094088 hasConceptScore W2100094088C11413529 @default.
- W2100094088 hasConceptScore W2100094088C118615104 @default.
- W2100094088 hasConceptScore W2100094088C156103551 @default.
- W2100094088 hasConceptScore W2100094088C202444582 @default.
- W2100094088 hasConceptScore W2100094088C2524010 @default.
- W2100094088 hasConceptScore W2100094088C2780069185 @default.
- W2100094088 hasConceptScore W2100094088C33923547 @default.
- W2100094088 hasConceptScore W2100094088C38677869 @default.
- W2100094088 hasConceptScore W2100094088C41008148 @default.
- W2100094088 hasConceptScore W2100094088C48103436 @default.
- W2100094088 hasConceptScore W2100094088C72434380 @default.
- W2100094088 hasConceptScore W2100094088C80444323 @default.
- W2100094088 hasConceptScore W2100094088C96469262 @default.
- W2100094088 hasIssue "515" @default.
- W2100094088 hasLocation W21000940881 @default.
- W2100094088 hasOpenAccess W2100094088 @default.
- W2100094088 hasPrimaryLocation W21000940881 @default.
- W2100094088 hasRelatedWork W1493730236 @default.
- W2100094088 hasRelatedWork W1985488429 @default.
- W2100094088 hasRelatedWork W2059034874 @default.
- W2100094088 hasRelatedWork W2062762081 @default.
- W2100094088 hasRelatedWork W2100094088 @default.
- W2100094088 hasRelatedWork W2170837225 @default.
- W2100094088 hasRelatedWork W2497391310 @default.
- W2100094088 hasRelatedWork W2964187826 @default.
- W2100094088 hasRelatedWork W3116208659 @default.
- W2100094088 hasRelatedWork W4225747963 @default.
- W2100094088 hasVolume "26" @default.
- W2100094088 isParatext "false" @default.
- W2100094088 isRetracted "false" @default.
- W2100094088 magId "2100094088" @default.
- W2100094088 workType "article" @default.