Synthesis of sequential controller in the presence of conflicts and free choices
暂无分享,去创建一个
[1] Paul G. Ranky,et al. Computer integrated manufacturing , 1986 .
[2] C. V. Ramamoorthy,et al. Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.
[3] A. J. Clewett,et al. Introduction to sequencing and scheduling , 1974 .
[4] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[5] Richard A. Wysk,et al. Computer-aided manufacturing , 1991 .
[6] P. Ramadge,et al. On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.
[7] Mohsen A. Jafari,et al. Dynamic analysis of timed Petri nets: a case of two processes and a shared resource , 1997, IEEE Trans. Robotics Autom..
[8] Jean-Marie Proth,et al. Performance evaluation of job-shop systems using timed event-graphs , 1989 .
[9] J. Quadrat,et al. Linear system theory for discrete event systems , 1984, The 23rd IEEE Conference on Decision and Control.
[10] Bruno Gaujal,et al. Allocation sequences of two processes sharing a resource , 1995, IEEE Trans. Robotics Autom..
[11] J. Quadrat,et al. A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.