Using Parameterized Timestamp Petri Nets in Automatic Control
暂无分享,去创建一个
[1] Bruce H. Krogh,et al. On condition/event systems with discrete state realizations , 1991, Discret. Event Dyn. Syst..
[2] Stefan Kowalewski,et al. Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control , 1996, TACAS.
[3] Carlo Ghezzi,et al. A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..
[4] B.H. Krogh,et al. Petri Net based Models for Condition/Event Systems , 1991, 1991 American Control Conference.
[5] Carlo Simon,et al. A logic of actions and its application to the development of programmable controllers , 2001 .
[6] Carlo Simon,et al. Developing software controllers with Petri nets and a logic of actions , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).
[7] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..