Login / Signup
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets.
Hassan Motallebi
Mohammad Abdollahi Azgomi
Published in:
Theor. Comput. Sci. (2012)
Keyphrases
</>
dynamic systems
petri net
colored petri nets
complex systems
petri net model
qualitative reasoning
discrete event systems
discrete event
concurrent systems
stochastic petri net
consistency based diagnosis
knowledge base
low cost
particle filter
manufacturing systems