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: 01 February 2010

DOI: 10.5772/7513

From the Edited Volume

Petri Nets Applications

Edited by Pawel Pawlewski

Chapter metrics overview

1,858 Chapter Downloads

View Full Metrics

Written By

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

Published: 01 February 2010