Open access

Hybrid State Petri Nets which Have the Analysis Power of Stochastic Hybrid Systems and the Formal Verification Power of Automata

Written By

Mariken H.C. Everdij and Henk A.P. Blom

Published: February 1st, 2010

DOI: 10.5772/7513

Chapter metrics overview

1,714 Chapter Downloads

View Full Metrics

Written By

Mariken H.C. Everdij and Henk A.P. Blom

Published: February 1st, 2010