A PACKAGE FOR COMPUTER DESIGN OF CONCURRENT LOGIC CONTROL SYSTEMS
暂无分享,去创建一个
[1] Manuel Silva,et al. A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.
[2] J. L. Boussin. Synthesis and Analysis of Logic Automation Systems , 1978 .
[3] Mohamed Moalla. Spécification et conception sûre d'automatismes discrets complexes, basées sur l'utilisation du GRAFCET et des réseaux de PETRI , 1981 .
[4] I. López,et al. Galileo: A Methodology for Modelling and Designing Real Time Systems , 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.