FRINK Linked Data Fragments server

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

• W2059933478 endingPage "2765" @default.
• W2059933478 startingPage "2751" @default.
• W2059933478 abstract "An efficient supervisor synthesis method is proposed based on the constraint transformation, since enforcing a logic expression of linear constraints on Petri nets essentially involves finding admissible constraints. It consists of cooperative algorithms that are used to obtain the logic expression of constraints for any set of forbidden markings, to remove redundant constraints using the quantity information of constraints, to judge the existence of a permissive supervisor, to equivalently reduce multiple constraints into a single one using net structural properties, and to approach the admissible constraints from the original ones for ordinary Petri nets. These algorithms are derived from a series of theorems and lemmas presented to construct the theory of constraint transformation or reduction. In addition, the linear constraint, whose uncontrollable subnet is a forward-concurrent free net, can be equivalently transformed into an admissible linear constraint using this method." @default.
• W2059933478 created "2016-06-24" @default.
• W2059933478 creator A5003377218 @default.
• W2059933478 creator A5039707354 @default.
• W2059933478 date "2011-12-01" @default.
• W2059933478 modified "2023-09-22" @default.
• W2059933478 title "Approach for Transforming Linear Constraints on Petri Nets" @default.
• W2059933478 cites W1527839149 @default.
• W2059933478 cites W1962985716 @default.
• W2059933478 cites W1970304516 @default.
• W2059933478 cites W1976252817 @default.
• W2059933478 cites W1978787137 @default.
• W2059933478 cites W1996109622 @default.
• W2059933478 cites W2006992368 @default.
• W2059933478 cites W2011008463 @default.
• W2059933478 cites W2104367108 @default.
• W2059933478 cites W2112963513 @default.
• W2059933478 cites W2113418311 @default.
• W2059933478 cites W2115241031 @default.
• W2059933478 cites W2121750060 @default.
• W2059933478 cites W2128675654 @default.
• W2059933478 cites W2142640538 @default.
• W2059933478 cites W2146738006 @default.
• W2059933478 cites W2149030441 @default.
• W2059933478 cites W2151008975 @default.
• W2059933478 cites W2152008376 @default.
• W2059933478 cites W2153752100 @default.
• W2059933478 cites W2154382983 @default.
• W2059933478 cites W2163137242 @default.
• W2059933478 cites W4236164983 @default.
• W2059933478 doi "https://doi.org/10.1109/tac.2011.2128590" @default.
• W2059933478 hasPublicationYear "2011" @default.
• W2059933478 type Work @default.
• W2059933478 sameAs 2059933478 @default.
• W2059933478 citedByCount "45" @default.
• W2059933478 countsByYear W20599334782012 @default.
• W2059933478 countsByYear W20599334782013 @default.
• W2059933478 countsByYear W20599334782014 @default.
• W2059933478 countsByYear W20599334782015 @default.
• W2059933478 countsByYear W20599334782016 @default.
• W2059933478 countsByYear W20599334782017 @default.
• W2059933478 countsByYear W20599334782018 @default.
• W2059933478 countsByYear W20599334782019 @default.
• W2059933478 countsByYear W20599334782020 @default.
• W2059933478 countsByYear W20599334782021 @default.
• W2059933478 countsByYear W20599334782022 @default.
• W2059933478 countsByYear W20599334782023 @default.
• W2059933478 crossrefType "journal-article" @default.
• W2059933478 hasAuthorship W2059933478A5003377218 @default.
• W2059933478 hasAuthorship W2059933478A5039707354 @default.
• W2059933478 hasConcept C104317684 @default.
• W2059933478 hasConcept C11413529 @default.
• W2059933478 hasConcept C126255220 @default.
• W2059933478 hasConcept C134306372 @default.
• W2059933478 hasConcept C154945302 @default.
• W2059933478 hasConcept C177264268 @default.
• W2059933478 hasConcept C17744445 @default.
• W2059933478 hasConcept C185592680 @default.
• W2059933478 hasConcept C197551870 @default.
• W2059933478 hasConcept C199360897 @default.
• W2059933478 hasConcept C199539241 @default.
• W2059933478 hasConcept C199622910 @default.
• W2059933478 hasConcept C204241405 @default.
• W2059933478 hasConcept C21099817 @default.
• W2059933478 hasConcept C2524010 @default.
• W2059933478 hasConcept C2776036281 @default.
• W2059933478 hasConcept C2779110517 @default.
• W2059933478 hasConcept C28077239 @default.
• W2059933478 hasConcept C33923547 @default.
• W2059933478 hasConcept C38677869 @default.
• W2059933478 hasConcept C41008148 @default.
• W2059933478 hasConcept C44616089 @default.
• W2059933478 hasConcept C49937458 @default.
• W2059933478 hasConcept C55493867 @default.
• W2059933478 hasConcept C80444323 @default.
• W2059933478 hasConcept C90559484 @default.
• W2059933478 hasConceptScore W2059933478C104317684 @default.
• W2059933478 hasConceptScore W2059933478C11413529 @default.
• W2059933478 hasConceptScore W2059933478C126255220 @default.
• W2059933478 hasConceptScore W2059933478C134306372 @default.
• W2059933478 hasConceptScore W2059933478C154945302 @default.
• W2059933478 hasConceptScore W2059933478C177264268 @default.
• W2059933478 hasConceptScore W2059933478C17744445 @default.
• W2059933478 hasConceptScore W2059933478C185592680 @default.
• W2059933478 hasConceptScore W2059933478C197551870 @default.
• W2059933478 hasConceptScore W2059933478C199360897 @default.
• W2059933478 hasConceptScore W2059933478C199539241 @default.
• W2059933478 hasConceptScore W2059933478C199622910 @default.
• W2059933478 hasConceptScore W2059933478C204241405 @default.
• W2059933478 hasConceptScore W2059933478C21099817 @default.
• W2059933478 hasConceptScore W2059933478C2524010 @default.
• W2059933478 hasConceptScore W2059933478C2776036281 @default.
• W2059933478 hasConceptScore W2059933478C2779110517 @default.
• W2059933478 hasConceptScore W2059933478C28077239 @default.
• W2059933478 hasConceptScore W2059933478C33923547 @default.
• W2059933478 hasConceptScore W2059933478C38677869 @default.
• W2059933478 hasConceptScore W2059933478C41008148 @default.
• W2059933478 hasConceptScore W2059933478C44616089 @default.

• next