Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets

Sorry, there's nothing here.

Cite this paper

@article{Motallebi2012ModelingAV, title={Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets}, author={Hassan Motallebi and Mohammad Abdollahi Azgomi}, journal={Theor. Comput. Sci.}, year={2012}, volume={446}, pages={48-74} }