Modelling of a hybrid system through differential predicate transition Petri nets model and proof tree
2007
Article (Journal)
English
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 Archive | 2004
|