1. Max-plus control design for temporal constraints meeting in timed event graphs;Amari;IEEE Transactions on Automatic Control,2012
2. Supervisory control of timed-place marked graph based on marking exclusion constraint, international conference on communications;Atli;Computing and Control Applications (CCCA),2011
3. Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant;Atto;Computers and Industrial Engineering, Elsevier,2011
4. Recursive equations and basic properties of timed petri nets;Baccelli;Discrete Event Dynamic Systems: Theory and Applications,1992
5. Synchronization and Linearity: An algebra for Discrete Event Systems;Baccelli,1992