Matches in SemOpenAlex for { <https://semopenalex.org/work/W3190560908> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3190560908 endingPage "607" @default.
- W3190560908 startingPage "583" @default.
- W3190560908 abstract "Abstract Timed Petri nets and max-plus automata are well known modelling frameworks for timed discrete-event systems. In this paper we present an iterative procedure that constructs a max-plus automaton from a timed Petri net while retaining the timed behaviour. Regarding the Petri net, we essentially impose three assumptions: (a) the Petri net must be bounded, i.e, the reachability graph must be finite; (b) we interpret the Petri net with single server semantics; and (c) the Petri net operates according to the race policy, i.e., the earliest possible transition will fire and thereby possibly consume tokens required by other competing transitions. Under these assumptions we show that the proposed procedure terminates with a finite deterministic max-plus automaton that realises the same timed behaviour as the Petri net. As a variation of the plain race policy, we also consider that a subsequently designed supervisor may temporarily disable distinguished transitions. Again, we present a terminating procedure that constructs a behaviour equivalent deterministic max-plus automaton. We demonstrate by example how the latter automaton can be utilised as an open-loop model in the context of supervisor control." @default.
- W3190560908 created "2021-08-16" @default.
- W3190560908 creator A5034716012 @default.
- W3190560908 creator A5035557809 @default.
- W3190560908 date "2021-07-31" @default.
- W3190560908 modified "2023-10-14" @default.
- W3190560908 title "Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics" @default.
- W3190560908 cites W15573929 @default.
- W3190560908 cites W2000587532 @default.
- W3190560908 cites W2048575651 @default.
- W3190560908 cites W2059057465 @default.
- W3190560908 cites W2074016802 @default.
- W3190560908 cites W2076347141 @default.
- W3190560908 cites W2087816883 @default.
- W3190560908 cites W2101508170 @default.
- W3190560908 cites W2114294750 @default.
- W3190560908 cites W2160168402 @default.
- W3190560908 cites W2505803570 @default.
- W3190560908 cites W2906353028 @default.
- W3190560908 cites W3004058610 @default.
- W3190560908 cites W3027342766 @default.
- W3190560908 cites W3161363915 @default.
- W3190560908 cites W789548629 @default.
- W3190560908 doi "https://doi.org/10.1007/s10626-021-00346-0" @default.
- W3190560908 hasPublicationYear "2021" @default.
- W3190560908 type Work @default.
- W3190560908 sameAs 3190560908 @default.
- W3190560908 citedByCount "2" @default.
- W3190560908 countsByYear W31905609082022 @default.
- W3190560908 crossrefType "journal-article" @default.
- W3190560908 hasAuthorship W3190560908A5034716012 @default.
- W3190560908 hasAuthorship W3190560908A5035557809 @default.
- W3190560908 hasBestOaLocation W31905609081 @default.
- W3190560908 hasConcept C112505250 @default.
- W3190560908 hasConcept C118615104 @default.
- W3190560908 hasConcept C134306372 @default.
- W3190560908 hasConcept C136643341 @default.
- W3190560908 hasConcept C17744445 @default.
- W3190560908 hasConcept C184337299 @default.
- W3190560908 hasConcept C197551870 @default.
- W3190560908 hasConcept C199360897 @default.
- W3190560908 hasConcept C199539241 @default.
- W3190560908 hasConcept C2779110517 @default.
- W3190560908 hasConcept C30788636 @default.
- W3190560908 hasConcept C33923547 @default.
- W3190560908 hasConcept C34388435 @default.
- W3190560908 hasConcept C38677869 @default.
- W3190560908 hasConcept C41008148 @default.
- W3190560908 hasConcept C80444323 @default.
- W3190560908 hasConceptScore W3190560908C112505250 @default.
- W3190560908 hasConceptScore W3190560908C118615104 @default.
- W3190560908 hasConceptScore W3190560908C134306372 @default.
- W3190560908 hasConceptScore W3190560908C136643341 @default.
- W3190560908 hasConceptScore W3190560908C17744445 @default.
- W3190560908 hasConceptScore W3190560908C184337299 @default.
- W3190560908 hasConceptScore W3190560908C197551870 @default.
- W3190560908 hasConceptScore W3190560908C199360897 @default.
- W3190560908 hasConceptScore W3190560908C199539241 @default.
- W3190560908 hasConceptScore W3190560908C2779110517 @default.
- W3190560908 hasConceptScore W3190560908C30788636 @default.
- W3190560908 hasConceptScore W3190560908C33923547 @default.
- W3190560908 hasConceptScore W3190560908C34388435 @default.
- W3190560908 hasConceptScore W3190560908C38677869 @default.
- W3190560908 hasConceptScore W3190560908C41008148 @default.
- W3190560908 hasConceptScore W3190560908C80444323 @default.
- W3190560908 hasFunder F4320320873 @default.
- W3190560908 hasIssue "4" @default.
- W3190560908 hasLocation W31905609081 @default.
- W3190560908 hasLocation W31905609082 @default.
- W3190560908 hasOpenAccess W3190560908 @default.
- W3190560908 hasPrimaryLocation W31905609081 @default.
- W3190560908 hasRelatedWork W1517759046 @default.
- W3190560908 hasRelatedWork W1582650717 @default.
- W3190560908 hasRelatedWork W1596935793 @default.
- W3190560908 hasRelatedWork W1897277602 @default.
- W3190560908 hasRelatedWork W2040791800 @default.
- W3190560908 hasRelatedWork W2147041049 @default.
- W3190560908 hasRelatedWork W2952488268 @default.
- W3190560908 hasRelatedWork W3120101625 @default.
- W3190560908 hasRelatedWork W4256348577 @default.
- W3190560908 hasRelatedWork W64131600 @default.
- W3190560908 hasVolume "31" @default.
- W3190560908 isParatext "false" @default.
- W3190560908 isRetracted "false" @default.
- W3190560908 magId "3190560908" @default.
- W3190560908 workType "article" @default.