Open access

Reachability Analysis of Time-Critical Systems

Written By

Stefan Hudak, Stefan Korecko and Slavomir Simonak

Published: 01 February 2010

DOI: 10.5772/7511

From the Edited Volume

Petri Nets Applications

Edited by Pawel Pawlewski

Chapter metrics overview

1,737 Chapter Downloads

View Full Metrics

Written By

Stefan Hudak, Stefan Korecko and Slavomir Simonak

Published: 01 February 2010