Open access

Control Interpreted Petri Nets - Model Checking and Synthesis

Written By

Iwona Grobelna

Submitted: December 1st, 2011 Published: August 29th, 2012

DOI: 10.5772/47797

Chapter metrics overview

2,284 Chapter Downloads

View Full Metrics

Written By

Iwona Grobelna

Submitted: December 1st, 2011 Published: August 29th, 2012