Modelling of a hybrid system through differential predicate transition Petri nets model and proof tree
2007
Aufsatz (Zeitschrift)
Englisch
Emerald Group Publishing | 2007
|Expert System Model Using Predicate Transition Nets
NTIS | 1988
|Modelling Railway Systems with Hybrid Petri Nets
British Library Conference Proceedings | 1998
|Modelling hybrid systems by high-level Petri nets
British Library Conference Proceedings | 1998
|On modelling urban transportation networks via hybrid Petri nets
Tema Archiv | 2004
|