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

DOI10.31577/CAI_2019_3_728zbMATH Open1518.93087WikidataQ127534972 ScholiaQ127534972MaRDI QIDQ6487693FDOQ6487693

Authors: František Čapkovič 

Publication date: 16 February 2023

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

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

zbMATH Keywords

modellinguncertaintycontrol synthesisdiscrete-event systemserror recoveryplace/transition Petri netsunobservable transitionslabelled Petri netsuncontrollable transitionsinterpreted Petri netsunmeasurable places

Mathematics Subject Classification ID

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

Cited In (6)

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

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)