Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107455712> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2107455712 endingPage "1448" @default.
- W2107455712 startingPage "1435" @default.
- W2107455712 abstract "We describe here how to obtain a model for the admissible behavior of a discrete event system that is represented by a safe Petri net (PN) model. The transitions of this PN model may be controllable or uncontrollable. Also given is a sequential specification which is modeled with a special state machine. Then, using the condition and event arcs of net condition/event systems, a combined model of plant and specification is obtained. We use only the structure of this combined model to develop a method which gives the admissible behavior of the system. Thus, we avoid the complexity of a complete state enumeration." @default.
- W2107455712 created "2016-06-24" @default.
- W2107455712 creator A5021706465 @default.
- W2107455712 creator A5039044815 @default.
- W2107455712 creator A5061010053 @default.
- W2107455712 creator A5061500182 @default.
- W2107455712 date "2004-06-01" @default.
- W2107455712 modified "2023-09-26" @default.
- W2107455712 title "Modeling Admissible Behavior Using Event Signals" @default.
- W2107455712 cites W1484160027 @default.
- W2107455712 cites W1506588809 @default.
- W2107455712 cites W1581461974 @default.
- W2107455712 cites W1884892816 @default.
- W2107455712 cites W1894254590 @default.
- W2107455712 cites W1906016869 @default.
- W2107455712 cites W1979349468 @default.
- W2107455712 cites W1982948055 @default.
- W2107455712 cites W1996109622 @default.
- W2107455712 cites W2079930025 @default.
- W2107455712 cites W2096110679 @default.
- W2107455712 cites W2149030441 @default.
- W2107455712 cites W2156791142 @default.
- W2107455712 cites W4249538237 @default.
- W2107455712 cites W56530886 @default.
- W2107455712 doi "https://doi.org/10.1109/tsmcb.2004.825915" @default.
- W2107455712 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/15484915" @default.
- W2107455712 hasPublicationYear "2004" @default.
- W2107455712 type Work @default.
- W2107455712 sameAs 2107455712 @default.
- W2107455712 citedByCount "16" @default.
- W2107455712 countsByYear W21074557122012 @default.
- W2107455712 countsByYear W21074557122013 @default.
- W2107455712 countsByYear W21074557122015 @default.
- W2107455712 crossrefType "journal-article" @default.
- W2107455712 hasAuthorship W2107455712A5021706465 @default.
- W2107455712 hasAuthorship W2107455712A5039044815 @default.
- W2107455712 hasAuthorship W2107455712A5061010053 @default.
- W2107455712 hasAuthorship W2107455712A5061500182 @default.
- W2107455712 hasConcept C11413529 @default.
- W2107455712 hasConcept C118615104 @default.
- W2107455712 hasConcept C121332964 @default.
- W2107455712 hasConcept C14166107 @default.
- W2107455712 hasConcept C156340839 @default.
- W2107455712 hasConcept C167822520 @default.
- W2107455712 hasConcept C197551870 @default.
- W2107455712 hasConcept C2524010 @default.
- W2107455712 hasConcept C2779662365 @default.
- W2107455712 hasConcept C32866371 @default.
- W2107455712 hasConcept C33923547 @default.
- W2107455712 hasConcept C38677869 @default.
- W2107455712 hasConcept C41008148 @default.
- W2107455712 hasConcept C48103436 @default.
- W2107455712 hasConcept C62520636 @default.
- W2107455712 hasConcept C80444323 @default.
- W2107455712 hasConcept C96314035 @default.
- W2107455712 hasConceptScore W2107455712C11413529 @default.
- W2107455712 hasConceptScore W2107455712C118615104 @default.
- W2107455712 hasConceptScore W2107455712C121332964 @default.
- W2107455712 hasConceptScore W2107455712C14166107 @default.
- W2107455712 hasConceptScore W2107455712C156340839 @default.
- W2107455712 hasConceptScore W2107455712C167822520 @default.
- W2107455712 hasConceptScore W2107455712C197551870 @default.
- W2107455712 hasConceptScore W2107455712C2524010 @default.
- W2107455712 hasConceptScore W2107455712C2779662365 @default.
- W2107455712 hasConceptScore W2107455712C32866371 @default.
- W2107455712 hasConceptScore W2107455712C33923547 @default.
- W2107455712 hasConceptScore W2107455712C38677869 @default.
- W2107455712 hasConceptScore W2107455712C41008148 @default.
- W2107455712 hasConceptScore W2107455712C48103436 @default.
- W2107455712 hasConceptScore W2107455712C62520636 @default.
- W2107455712 hasConceptScore W2107455712C80444323 @default.
- W2107455712 hasConceptScore W2107455712C96314035 @default.
- W2107455712 hasIssue "3" @default.
- W2107455712 hasLocation W21074557121 @default.
- W2107455712 hasLocation W21074557122 @default.
- W2107455712 hasOpenAccess W2107455712 @default.
- W2107455712 hasPrimaryLocation W21074557121 @default.
- W2107455712 hasRelatedWork W1866023139 @default.
- W2107455712 hasRelatedWork W2107455712 @default.
- W2107455712 hasRelatedWork W2126315937 @default.
- W2107455712 hasRelatedWork W2148823974 @default.
- W2107455712 hasRelatedWork W2179124093 @default.
- W2107455712 hasRelatedWork W2355495624 @default.
- W2107455712 hasRelatedWork W2360575553 @default.
- W2107455712 hasRelatedWork W2783548027 @default.
- W2107455712 hasRelatedWork W2994638813 @default.
- W2107455712 hasRelatedWork W4235250204 @default.
- W2107455712 hasVolume "34" @default.
- W2107455712 isParatext "false" @default.
- W2107455712 isRetracted "false" @default.
- W2107455712 magId "2107455712" @default.
- W2107455712 workType "article" @default.