Login / Signup
Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems.
Emília Villani
Jean-Claude Pascal
Paulo E. Miyagi
Robert Valette
Published in:
ADHS (2003)
Keyphrases
</>
petri net
hybrid systems
discrete event systems
discrete event
colored petri nets
intelligent systems
service composition
fuzzy petri net
black box
meta learning
computational intelligence
soft computing
neural network
first order logic
process model
fuzzy sets
fuzzy logic
pattern recognition