Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
DOI10.34768/AMCS-2021-0045zbMATH Open1485.93366OpenAlexW4379533667MaRDI QIDQ2115918FDOQ2115918
Remigiusz Wiśniewski, Grzegorz Bazydło, Mateusz Popławski, Marcin Wojnakowski
Publication date: 15 March 2022
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Full work available at URL: https://doaj.org/article/f126a75c1b0c4e1f964fcd168750e015
Recommendations
- Reduction of constraints for controller synthesis based on safe Petri nets
- Reachability Analysis for Safety Assurance of Cyber-Physical Systems Against Cyber Attacks
- A safety preserving control architecture for cyber‐physical systems
- Structural optimal control for safe Petri nets
- Applications and Theory of Petri Nets 2005
- Automated Technology for Verification and Analysis
- Structuring acyclic Petri nets for reachability analysis and control
Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83) Networked control (93B70)
Cites Work
- Petri net algebra
- Title not available (Why is that?)
- Reduction of constraints for controller synthesis based on safe Petri nets
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
- Compositional analysis of Petri nets
- Prototyping of concurrent control systems implemented in FPGA devices
- An analytical method for well-formed workflow/Petri net verification of classical soundness
- Complexity results for 1-safe nets
- Control of safe ordinary Petri nets using unfolding
- Dynamic analysis of Petri net-based discrete systems
- Polynomial algorithms for the synthesis of bounded nets
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
- Codiagnosability Analysis of Bounded Petri Nets
- Deriving Petri nets from finite transition systems
- Hardware reduction for LUT-based Mealy FSMs
- An SMT-Based Approach to Coverability Analysis
- \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL
- Evaluation of cyber security and modelling of risk propagation with Petri nets
- Title not available (Why is that?)
- Design of microprogrammed controllers to be implemented in FPGAs
- On the Construction of Pullbacks for Safe Petri Nets
Cited In (4)
Uses Software
This page was built for publication: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2115918)
