000 | 00494nab a2200157Ia 4500 | ||
---|---|---|---|
008 | 230808s1990 |||||||f |||| 00| 0 eng d | ||
100 |
_aWilison, Reg G. _9787749 |
||
100 |
_aKrogh, Bruce H. _9787750 |
||
245 | 0 | _aPetri Net Tools for Specification and Analysis of Discrete Controliers | |
300 | _a39-50 p. | ||
650 |
_aAnalysis _9673343 |
||
650 |
_aControl _968925 |
||
650 | _aDiscrete Systems | ||
773 |
_d1990 _tIEEE Transactions on Software Engineering _x00985589 |
||
942 |
_cART _o51 _pABUL KALAM Library |
||
999 |
_c748245 _d748245 |