검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Towards the formalisation of soft systems models using Petri net theory Sagoo JS, Boardman JT IEE Proceedings-Control Theory & Applications, 145(5), 463, 1998 |
| 2 |
Real-Time Synchronization of Multiaxis High-Speed Machines, from SFC Specification to Petri-Net Verification Jiang J, Azzopardi D, Holding DJ, Carpenter GF, Sagoo JS IEE Proceedings-Control Theory & Applications, 143(2), 164, 1996 |