Overlapping decompositions and expansions of Petri nets. - Aydin Aybar; Altug Iftar (IEEE Trans. Autom. Control., 2002)

Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets. - Aydin Aybar; Altug Iftar (ECC, 2003)

Reversibility enforcement for unbounded petri netsn. - Hanife Apaydin Özkan; Aydin Aybar (ICINCO, 2005)

Supervisory controller design for timed Petri nets. - Aydin Aybar; Altug Iftar (SoSE, 2006)

Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching. - Aydin Aybar; Altug Iftar (IEEE Syst. J., 2008)

Decentralized Structural Controller Design for Large-Scale Discrete-Event Systems Modelled by Petri Nets. - Aydin Aybar; Altug Iftar (Kybernetika, 2009)

Decentralized Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems. - Aydin Aybar (Int. J. Comput. Commun. Control, 2010)

Supervisory controller design for timed-place Petri nets. - Aydin Aybar; Altug Iftar (Kybernetika, 2012)

Timed Arc Petri Nets: The Impulsive Approach. - Alpaslan Yufka; Hanife Apaydin Özkan; Aydin Aybar (CoDIT, 2018)

Modeling Basic Components of Railway Systems Using Timed Arc Petri Nets. - Alpaslan Yufka; Hanife Apaydin Özkan; Aydin Aybar (CoDIT, 2018)

Supervisory Control of Discrete-event Systems Modeled by Timed-arc Petri Nets. - Aydin Aybar; Altug Iftar (ECC, 2020)