Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891947260> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2891947260 endingPage "510" @default.
- W2891947260 startingPage "500" @default.
- W2891947260 abstract "Abstract In this paper, we present a comprehensive modeling technique for bounded Petri net systems (BPNSs) in the framework of the semi‐tensor product (STP) of matrices. The two dynamic properties of BPNSs, namely, reachability and controllability, are investigated systematacially. First, the dynamics of a bounded Petri net system (BPNS), by resorting to the STP of matrices, are expressed in the form of a discrete‐time bilinear equation, which is called the marking evolution equation (MEE) of BPNSs. Second, controllability and transition‐marking adjacency matrix (TMAM) of BPNSs are defined, respectively. Further, several necessary and sufficient conditions for reachability and controllability of BPNSs are given in terms of the MEE and TMAM. Third, an efficient algorithm to verify reachability property of BPNSs, in this paper, is provided, as well as its computational complexity. Finally, an example is presented to illustrate the theoretical results in this paper. The main contribution of this paper is the presentation of a precise mathematical model for BPNSs. The main advantage of the proposed approach is that not only it can be applied to verify whether or not any given marking is reachable from the other in state space, but also it is very convenient to find all firing sequences between any two reachable markings." @default.
- W2891947260 created "2018-09-27" @default.
- W2891947260 creator A5002524489 @default.
- W2891947260 creator A5008051337 @default.
- W2891947260 creator A5019147450 @default.
- W2891947260 creator A5073105796 @default.
- W2891947260 creator A5081098250 @default.
- W2891947260 date "2018-09-02" @default.
- W2891947260 modified "2023-10-14" @default.
- W2891947260 title "Modeling, Reachability and Controllability of Bounded Petri Nets Based on Semi‐Tensor Product of Matrices" @default.
- W2891947260 cites W1971318969 @default.
- W2891947260 cites W1976957991 @default.
- W2891947260 cites W1980733812 @default.
- W2891947260 cites W1991720013 @default.
- W2891947260 cites W1995736448 @default.
- W2891947260 cites W1996109622 @default.
- W2891947260 cites W1996191241 @default.
- W2891947260 cites W2005217875 @default.
- W2891947260 cites W2038656881 @default.
- W2891947260 cites W2095603938 @default.
- W2891947260 cites W2106001218 @default.
- W2891947260 cites W2112594687 @default.
- W2891947260 cites W2132355828 @default.
- W2891947260 cites W2139480393 @default.
- W2891947260 cites W2140640958 @default.
- W2891947260 cites W2147790867 @default.
- W2891947260 cites W2148357359 @default.
- W2891947260 cites W2153364687 @default.
- W2891947260 cites W2214188879 @default.
- W2891947260 cites W2324132233 @default.
- W2891947260 cites W2344793144 @default.
- W2891947260 cites W2509841691 @default.
- W2891947260 cites W2765462194 @default.
- W2891947260 cites W567151721 @default.
- W2891947260 doi "https://doi.org/10.1002/asjc.1915" @default.
- W2891947260 hasPublicationYear "2018" @default.
- W2891947260 type Work @default.
- W2891947260 sameAs 2891947260 @default.
- W2891947260 citedByCount "9" @default.
- W2891947260 countsByYear W28919472602019 @default.
- W2891947260 countsByYear W28919472602021 @default.
- W2891947260 countsByYear W28919472602022 @default.
- W2891947260 crossrefType "journal-article" @default.
- W2891947260 hasAuthorship W2891947260A5002524489 @default.
- W2891947260 hasAuthorship W2891947260A5008051337 @default.
- W2891947260 hasAuthorship W2891947260A5019147450 @default.
- W2891947260 hasAuthorship W2891947260A5073105796 @default.
- W2891947260 hasAuthorship W2891947260A5081098250 @default.
- W2891947260 hasBestOaLocation W28919472601 @default.
- W2891947260 hasConcept C11413529 @default.
- W2891947260 hasConcept C134306372 @default.
- W2891947260 hasConcept C136643341 @default.
- W2891947260 hasConcept C202444582 @default.
- W2891947260 hasConcept C2524010 @default.
- W2891947260 hasConcept C28826006 @default.
- W2891947260 hasConcept C33923547 @default.
- W2891947260 hasConcept C34388435 @default.
- W2891947260 hasConcept C38677869 @default.
- W2891947260 hasConcept C41008148 @default.
- W2891947260 hasConcept C48209547 @default.
- W2891947260 hasConcept C51255310 @default.
- W2891947260 hasConcept C90673727 @default.
- W2891947260 hasConceptScore W2891947260C11413529 @default.
- W2891947260 hasConceptScore W2891947260C134306372 @default.
- W2891947260 hasConceptScore W2891947260C136643341 @default.
- W2891947260 hasConceptScore W2891947260C202444582 @default.
- W2891947260 hasConceptScore W2891947260C2524010 @default.
- W2891947260 hasConceptScore W2891947260C28826006 @default.
- W2891947260 hasConceptScore W2891947260C33923547 @default.
- W2891947260 hasConceptScore W2891947260C34388435 @default.
- W2891947260 hasConceptScore W2891947260C38677869 @default.
- W2891947260 hasConceptScore W2891947260C41008148 @default.
- W2891947260 hasConceptScore W2891947260C48209547 @default.
- W2891947260 hasConceptScore W2891947260C51255310 @default.
- W2891947260 hasConceptScore W2891947260C90673727 @default.
- W2891947260 hasFunder F4320321001 @default.
- W2891947260 hasIssue "1" @default.
- W2891947260 hasLocation W28919472601 @default.
- W2891947260 hasOpenAccess W2891947260 @default.
- W2891947260 hasPrimaryLocation W28919472601 @default.
- W2891947260 hasRelatedWork W1559818378 @default.
- W2891947260 hasRelatedWork W2002058814 @default.
- W2891947260 hasRelatedWork W2070365443 @default.
- W2891947260 hasRelatedWork W2112594687 @default.
- W2891947260 hasRelatedWork W2318801789 @default.
- W2891947260 hasRelatedWork W2374856363 @default.
- W2891947260 hasRelatedWork W2382307127 @default.
- W2891947260 hasRelatedWork W2724731349 @default.
- W2891947260 hasRelatedWork W2759275744 @default.
- W2891947260 hasRelatedWork W4206540547 @default.
- W2891947260 hasVolume "22" @default.
- W2891947260 isParatext "false" @default.
- W2891947260 isRetracted "false" @default.
- W2891947260 magId "2891947260" @default.
- W2891947260 workType "article" @default.