PLC PROGRAMMING LANGUAGES : A FORMAL APPROACH
暂无分享,去创建一个
Luciano Baresi | Antonello Monti | Mauro Pezzè | A. Monti | M. Pezzè | L. Baresi | Stefania Carmeli | S. Carmeli
[1] Amardeo Sarma,et al. Introduction to SDL-92 , 1996, Comput. Networks ISDN Syst..
[2] Carlo Ghezzi,et al. A Unified High-level Petri Net Model for Time Critical Systems , 1991 .
[3] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.