Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137716779> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2137716779 endingPage "177" @default.
- W2137716779 startingPage "173" @default.
- W2137716779 abstract "The authors consider Petri nets (PNs), where each transition can be prevented from firing by an external agent, the supervisor. A PN is said to be live if it is possible to fire any transition from every reachable marking, although not necessarily immediately. The procedure proposed previously by the author (1996) involves the construction of the coverability graph, which can be computationally expensive. Using the refinement/abstraction procedure of Suzuki and Murata (1983), where a single transition in a abstracted PN N is replaced by a PN N/spl circ/ to yield a larger refined PN N/spl circ/, we show that when N/spl circ/ belongs to a class of marked-graph PNs, there is a supervisory policy that enforces liveness in the refined PN N/spl circ/ if and only if there is a similar policy for the abstracted PN N. Since the coverability graph of the PN N is smaller than that of the PN N/spl circ/, it is possible to achieve significant computational savings by using the process of abstraction on N/spl circ/. This is illustrated by example." @default.
- W2137716779 created "2016-06-24" @default.
- W2137716779 creator A5006769834 @default.
- W2137716779 date "1999-01-01" @default.
- W2137716779 modified "2023-09-27" @default.
- W2137716779 title "On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement" @default.
- W2137716779 cites W1534926211 @default.
- W2137716779 cites W1996109622 @default.
- W2137716779 cites W1997871183 @default.
- W2137716779 cites W2083567135 @default.
- W2137716779 cites W2105090403 @default.
- W2137716779 doi "https://doi.org/10.1109/9.739118" @default.
- W2137716779 hasPublicationYear "1999" @default.
- W2137716779 type Work @default.
- W2137716779 sameAs 2137716779 @default.
- W2137716779 citedByCount "17" @default.
- W2137716779 countsByYear W21377167792013 @default.
- W2137716779 countsByYear W21377167792014 @default.
- W2137716779 countsByYear W21377167792015 @default.
- W2137716779 countsByYear W21377167792017 @default.
- W2137716779 countsByYear W21377167792021 @default.
- W2137716779 crossrefType "journal-article" @default.
- W2137716779 hasAuthorship W2137716779A5006769834 @default.
- W2137716779 hasBestOaLocation W21377167792 @default.
- W2137716779 hasConcept C111472728 @default.
- W2137716779 hasConcept C11413529 @default.
- W2137716779 hasConcept C118615104 @default.
- W2137716779 hasConcept C124304363 @default.
- W2137716779 hasConcept C132525143 @default.
- W2137716779 hasConcept C138885662 @default.
- W2137716779 hasConcept C154945302 @default.
- W2137716779 hasConcept C15569618 @default.
- W2137716779 hasConcept C17744445 @default.
- W2137716779 hasConcept C190470478 @default.
- W2137716779 hasConcept C199539241 @default.
- W2137716779 hasConcept C2777212361 @default.
- W2137716779 hasConcept C2779110517 @default.
- W2137716779 hasConcept C33923547 @default.
- W2137716779 hasConcept C37914503 @default.
- W2137716779 hasConcept C38677869 @default.
- W2137716779 hasConcept C41008148 @default.
- W2137716779 hasConcept C80444323 @default.
- W2137716779 hasConceptScore W2137716779C111472728 @default.
- W2137716779 hasConceptScore W2137716779C11413529 @default.
- W2137716779 hasConceptScore W2137716779C118615104 @default.
- W2137716779 hasConceptScore W2137716779C124304363 @default.
- W2137716779 hasConceptScore W2137716779C132525143 @default.
- W2137716779 hasConceptScore W2137716779C138885662 @default.
- W2137716779 hasConceptScore W2137716779C154945302 @default.
- W2137716779 hasConceptScore W2137716779C15569618 @default.
- W2137716779 hasConceptScore W2137716779C17744445 @default.
- W2137716779 hasConceptScore W2137716779C190470478 @default.
- W2137716779 hasConceptScore W2137716779C199539241 @default.
- W2137716779 hasConceptScore W2137716779C2777212361 @default.
- W2137716779 hasConceptScore W2137716779C2779110517 @default.
- W2137716779 hasConceptScore W2137716779C33923547 @default.
- W2137716779 hasConceptScore W2137716779C37914503 @default.
- W2137716779 hasConceptScore W2137716779C38677869 @default.
- W2137716779 hasConceptScore W2137716779C41008148 @default.
- W2137716779 hasConceptScore W2137716779C80444323 @default.
- W2137716779 hasIssue "1" @default.
- W2137716779 hasLocation W21377167791 @default.
- W2137716779 hasLocation W21377167792 @default.
- W2137716779 hasOpenAccess W2137716779 @default.
- W2137716779 hasPrimaryLocation W21377167791 @default.
- W2137716779 hasRelatedWork W2019101616 @default.
- W2137716779 hasRelatedWork W2030688905 @default.
- W2137716779 hasRelatedWork W2064466853 @default.
- W2137716779 hasRelatedWork W2067228647 @default.
- W2137716779 hasRelatedWork W2099078695 @default.
- W2137716779 hasRelatedWork W2169750755 @default.
- W2137716779 hasRelatedWork W2171343298 @default.
- W2137716779 hasRelatedWork W2352515708 @default.
- W2137716779 hasRelatedWork W2396991946 @default.
- W2137716779 hasRelatedWork W4297993912 @default.
- W2137716779 hasVolume "44" @default.
- W2137716779 isParatext "false" @default.
- W2137716779 isRetracted "false" @default.
- W2137716779 magId "2137716779" @default.
- W2137716779 workType "article" @default.