A Method of Verifying a Switching SDL Specification by Utilizing Petri Nets
TRANSACTIONS- SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS ; 30 , 6 ; 685
01.01.1994
685 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 629.8 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets
British Library Online Contents | 2000
|British Library Online Contents | 1997
|Stochastic petri nets for risk assessment
Tema Archiv | 2008
|Airport Traffic Simulation Using Petri Nets
Springer Verlag | 2013
|