Open access

Control Interpreted Petri Nets - Model Checking and Synthesis

Written By

Iwona Grobelna

Submitted: 01 December 2011 Published: 29 August 2012

DOI: 10.5772/47797

From the Edited Volume

Petri Nets - Manufacturing and Computer Science

Edited by Pawel Pawlewski

Chapter metrics overview

2,378 Chapter Downloads

View Full Metrics

Written By

Iwona Grobelna

Submitted: 01 December 2011 Published: 29 August 2012