Supervisory controller design for timed-place Petri nets

zbMATH Open1255.93087MaRDI QIDQ4904496FDOQ4904496

Authors: Aydın Aybar, Altuğ İftar 

Publication date: 30 January 2013

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

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

zbMATH Keywords

time-delaydiscrete-event systemsPetri netssupervisory controldeadlocktimed-place Petri nets (TPPN)

Mathematics Subject Classification ID

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

Cited In (4)

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

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)