Petri nets at modelling and control of discrete-event systems with nondeterminism. II

DOI10.31577/CAI_2019_3_728MaRDI QIDQ6487693zbMATH OpenWikidataFDO

Authors František Čapkovič

Publication date 16 February 2023

Published in Computing and Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.31577/CAI_2019_3_728

zbMATH Keywords

control synthesisdiscrete-event systemserror recoveryinterpreted Petri netslabelled Petri netsmodellingplace/transition Petri netsuncertaintyuncontrollable transitionsunmeasurable placesunobservable transitions

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Controllability (93B05) Observability (93B07) Discrete event control/observation systems (93C65)

Recommendations

• scientific article; zbMATH DE number 48613
• Introduction to Petri nets
• Some contributions with Petri nets for the modelling, analysis and control of HDS
• A survey of Petri net methods for controlled discrete event systems
• On forbidden state problems for a class of controlled Petri nets

Cited in

(6)

• Confusion control in generalized Petri nets using synchronized events
• State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
• Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets
• Modellbildung und Analyse diskret gesteuerter Systeme mit Petri-Netzen / Modelling and analysis of discrete controlled systems using Petri nets
• New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets

This page was built for publication: Petri nets at modelling and control of discrete-event systems with nondeterminism. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487693)