FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3133725719> ?p ?o ?g. }

• W3133725719 endingPage "2799" @default.
• W3133725719 startingPage "2789" @default.
• W3133725719 abstract "This article focuses on the issue of checking critical observability for labeled Petri nets. Critical observability is a property related to the safety concern of cyber-physical systems. With the aim of checking this property of a net system, it is required to detect whether a set of markings consistent with any observed word of the net system is a subset of a set of critical states representing undesirable operations or a set of noncritical states. In this work, we prove a necessary and sufficient condition to check critical observability when the critical state set is described by an arbitrary subset of reachable markings. Then, the result is extended to the case when a critical state set is modeled by all the reachable markings that satisfy disjunctions of generalized mutual exclusion constraints. The proposed method is derived from the solutions of integer linear programming problems and is applicable to net systems with liveness and boundness. Several case studies show the performance of the presented methodology for discrete-event systems." @default.
• W3133725719 created "2021-03-15" @default.
• W3133725719 creator A5045237460 @default.
• W3133725719 creator A5071850448 @default.
• W3133725719 creator A5075649674 @default.
• W3133725719 creator A5087555515 @default.
• W3133725719 date "2022-05-01" @default.
• W3133725719 modified "2023-10-08" @default.
• W3133725719 title "Critical Observability of Discrete-Event Systems in a Petri Net Framework" @default.
• W3133725719 cites W1553056365 @default.
• W3133725719 cites W1962985716 @default.
• W3133725719 cites W1966547590 @default.
• W3133725719 cites W1992424076 @default.
• W3133725719 cites W1996109622 @default.
• W3133725719 cites W2003070900 @default.
• W3133725719 cites W2037457229 @default.
• W3133725719 cites W2056495496 @default.
• W3133725719 cites W2084408118 @default.
• W3133725719 cites W2116995843 @default.
• W3133725719 cites W2155371617 @default.
• W3133725719 cites W2170020397 @default.
• W3133725719 cites W2509841691 @default.
• W3133725719 cites W2538443008 @default.
• W3133725719 cites W2582314773 @default.
• W3133725719 cites W2602014246 @default.
• W3133725719 cites W2614826960 @default.
• W3133725719 cites W2741060909 @default.
• W3133725719 cites W2755285785 @default.
• W3133725719 cites W2773002878 @default.
• W3133725719 cites W2783183134 @default.
• W3133725719 cites W2799338570 @default.
• W3133725719 cites W2800404248 @default.
• W3133725719 cites W2887757342 @default.
• W3133725719 cites W2914164142 @default.
• W3133725719 cites W2942732844 @default.
• W3133725719 cites W2960272311 @default.
• W3133725719 cites W2962715553 @default.
• W3133725719 cites W2969897625 @default.
• W3133725719 cites W2971629835 @default.
• W3133725719 cites W2980015804 @default.
• W3133725719 cites W2999990453 @default.
• W3133725719 cites W3004266930 @default.
• W3133725719 cites W3007842207 @default.
• W3133725719 cites W3011645056 @default.
• W3133725719 cites W3032325277 @default.
• W3133725719 cites W3032987964 @default.
• W3133725719 cites W3033481339 @default.
• W3133725719 cites W3047134076 @default.
• W3133725719 cites W3047401442 @default.
• W3133725719 doi "https://doi.org/10.1109/tsmc.2021.3056693" @default.
• W3133725719 hasPublicationYear "2022" @default.
• W3133725719 type Work @default.
• W3133725719 sameAs 3133725719 @default.
• W3133725719 citedByCount "5" @default.
• W3133725719 countsByYear W31337257192022 @default.
• W3133725719 countsByYear W31337257192023 @default.
• W3133725719 crossrefType "journal-article" @default.
• W3133725719 hasAuthorship W3133725719A5045237460 @default.
• W3133725719 hasAuthorship W3133725719A5071850448 @default.
• W3133725719 hasAuthorship W3133725719A5075649674 @default.
• W3133725719 hasAuthorship W3133725719A5087555515 @default.
• W3133725719 hasConcept C111472728 @default.
• W3133725719 hasConcept C11413529 @default.
• W3133725719 hasConcept C121332964 @default.
• W3133725719 hasConcept C136643341 @default.
• W3133725719 hasConcept C138885662 @default.
• W3133725719 hasConcept C14166107 @default.
• W3133725719 hasConcept C15569618 @default.
• W3133725719 hasConcept C177264268 @default.
• W3133725719 hasConcept C189950617 @default.
• W3133725719 hasConcept C197551870 @default.
• W3133725719 hasConcept C199360897 @default.
• W3133725719 hasConcept C2524010 @default.
• W3133725719 hasConcept C2779662365 @default.
• W3133725719 hasConcept C28826006 @default.
• W3133725719 hasConcept C33923547 @default.
• W3133725719 hasConcept C36299963 @default.
• W3133725719 hasConcept C38677869 @default.
• W3133725719 hasConcept C41008148 @default.
• W3133725719 hasConcept C48103436 @default.
• W3133725719 hasConcept C56348326 @default.
• W3133725719 hasConcept C62520636 @default.
• W3133725719 hasConcept C80444323 @default.
• W3133725719 hasConceptScore W3133725719C111472728 @default.
• W3133725719 hasConceptScore W3133725719C11413529 @default.
• W3133725719 hasConceptScore W3133725719C121332964 @default.
• W3133725719 hasConceptScore W3133725719C136643341 @default.
• W3133725719 hasConceptScore W3133725719C138885662 @default.
• W3133725719 hasConceptScore W3133725719C14166107 @default.
• W3133725719 hasConceptScore W3133725719C15569618 @default.
• W3133725719 hasConceptScore W3133725719C177264268 @default.
• W3133725719 hasConceptScore W3133725719C189950617 @default.
• W3133725719 hasConceptScore W3133725719C197551870 @default.
• W3133725719 hasConceptScore W3133725719C199360897 @default.
• W3133725719 hasConceptScore W3133725719C2524010 @default.
• W3133725719 hasConceptScore W3133725719C2779662365 @default.
• W3133725719 hasConceptScore W3133725719C28826006 @default.
• W3133725719 hasConceptScore W3133725719C33923547 @default.

• next