A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Petri nets as a support to symbolic execution of concurrent Ada programs
Petri nets as a support to symbolic execution of concurrent Ada programs
Petri nets as a support to symbolic execution of concurrent Ada programs
Ghezzi, Carlo (author) / Mandrioli, Dino (author) / Pezze, Mauro (author)
1987
[21] Bl.
graph. Darst.
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Book
English
Symbolic execution of concurrent programs using Petri nets
| TIBKAT | 1989
Decision support in Petri nets via genetic algorithms
| British Library Conference Proceedings | 2009
System Modelling with Petri Nets
| Springer Verlag | 1990
Rail maintenance analysis using Petri nets
| Online Contents | 2017
Rail maintenance analysis using Petri nets
| Online Contents | 2016