Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
From MaRDI portal
Publication:2115918
DOI10.34768/amcs-2021-0045zbMath1485.93366OpenAlexW4379533667MaRDI QIDQ2115918
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
Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65) Networked control (93B70)
Related Items (2)
Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs ⋮ Generation of synchronizing state machines from a transition system: a region-based approach
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Prototyping of concurrent control systems implemented in FPGA devices
- Complexity results for 1-safe nets
- Control of safe ordinary Petri nets using unfolding
- Dynamic analysis of Petri net-based discrete systems
- Reduction of constraints for controller synthesis based on safe Petri nets
- Petri net algebra
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
- Hardware reduction for LUT-based Mealy FSMs
- An analytical method for well-formed workflow/Petri net verification of classical soundness
- \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
- Compositional analysis of Petri nets
- Design of microprogrammed controllers to be implemented in FPGAs
- An SMT-Based Approach to Coverability Analysis
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
- On the Construction of Pullbacks for Safe Petri Nets
- Codiagnosability Analysis of Bounded Petri Nets
- Deriving Petri nets from finite transition systems
- Polynomial algorithms for the synthesis of bounded nets
This page was built for publication: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
