A Restricted Reachability Problem of Petri Nets Solvable in Pseudo-Polynomial Time
TRANSACTIONS- SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS ; 29 , 11 ; 1352
1993-01-01
1352 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 629.8 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Online Contents | 1997
|A Polynomial Time Solvable Formulation of Multiple Sequence Alignment
British Library Conference Proceedings | 2005
|Generating Real-time Software Test Cases by Time Petri Nets
British Library Online Contents | 2000
|Generating Inductive Invariants for Petri Nets
Springer Verlag | 2012
|