Supervisory controller design for timed-place Petri nets

MaRDI QIDQ4904496zbMATH OpenFDO

Authors Aydın Aybar, Altuğ İftar

Publication date 30 January 2013

Full work available at URL http://www.kybernetika.cz/content/2012/6/1114

zbMATH Keywords

deadlockdiscrete-event systemsPetri netssupervisory controltime-delaytimed-place Petri nets (TPPN)

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Discrete event control/observation systems (93C65)

Recommendations

• Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
• Decentralized supervisory controller design to avoid deadlock in Petri nets
• scientific article; zbMATH DE number 1816769
• Time based deadlock prevention for Petri nets
• Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets

Cited in

(4)

• Time based deadlock prevention for Petri nets
• Decentralized supervisory controller design to avoid deadlock in Petri nets
• Supervisory Control of Petri Nets with Language Specifications
• Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Supervisory controller design for timed-place Petri nets

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