Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis
From MaRDI portal
Publication:2813985
DOI10.1002/ASJC.1031zbMATH Open1338.93242OpenAlexW1952385907MaRDI QIDQ2813985FDOQ2813985
Authors: Wangyang Yu, Zhijun Ding, Xianwen Fang 
Publication date: 17 June 2016
Published in: Asian Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/asjc.1031
Recommendations
Applications of graph theory (05C90) System structure simplification (93B11) Discrete event control/observation systems (93C65)
Cites Work
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- Coloured Petri Nets
- A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
- Reduction of constraints for controller synthesis based on safe Petri nets
- Program Slicing
- Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018]
- Liveness of an extended S\(^{3}\)PR
- Slicing communicating automata specifications: Polynomial algorithms for model reduction
- Slicing Petri Nets with an Application to Workflow Verification
- Title not available (Why is that?)
- Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
- Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
- A simple Suboptimal siphon‐based control model of a well‐known S3PR
- A best deadlock control for S3PMR to reach all states
- Dynamic Slicing Techniques for Petri Nets
Cited In (1)
This page was built for publication: Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2813985)
