Open access

Using Petri nets for modeling and verification of Hybrid Systems

Written By

Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz

Published: February 1st, 2010

DOI: 10.5772/7518

Chapter metrics overview

1,989 Chapter Downloads

View Full Metrics

Written By

Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz

Published: February 1st, 2010