Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems

DOI10.34768/AMCS-2021-0045MaRDI QIDQ2115918zbMATH OpenOpenAlexFDO

Authors Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło, Mateusz Popławski

Publication date 15 March 2022

Published in International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doaj.org/article/f126a75c1b0c4e1f964fcd168750e015

zbMATH Keywords

Petri netsafenessplace invariantcontrol part of cyber-physical systemstate machine cover

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83) Networked control (93B70)

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

Cites work

• scientific article; zbMATH DE number 1646978 (Why is no real title available?)
• scientific article; zbMATH DE number 1696450 (Why is no real title available?)
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
• An SMT-based approach to coverability analysis
• An analytical method for well-formed workflow/Petri net verification of classical soundness
• Codiagnosability Analysis of Bounded Petri Nets
• Complexity results for 1-safe nets
• Compositional analysis of Petri nets
• Control of safe ordinary Petri nets using unfolding
• Deriving Petri nets from finite transition systems
• Design of microprogrammed controllers to be implemented in FPGAs
• Dynamic analysis of Petri net-based discrete systems
• Evaluation of cyber security and modelling of risk propagation with Petri nets
• Hardware reduction for LUT-based Mealy FSMs
• On the Construction of Pullbacks for Safe Petri Nets
• On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
• Petri net algebra
• Polynomial algorithms for the synthesis of bounded nets
• Prototyping of concurrent control systems implemented in FPGA devices
• Reduction of constraints for controller synthesis based on safe Petri nets
• \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL

Cited in

(4)

• 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
• scientific article; zbMATH DE number 1173835 (Why is no real title available?)
• Applications and Theory of Petri Nets 2005

Describes a project that uses

Uses Software

• AdamMC

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)