Open access

A Linear Logic Based Approach to Timed Petri Nets

Written By

Norihiro Kamide

Published: 01 February 2008

DOI: 10.5772/5319

From the Edited Volume

Petri Net, Theory and Applications

Edited by Vedran Kordic

Chapter metrics overview

2,780 Chapter Downloads

View Full Metrics

Written By

Norihiro Kamide

Published: 01 February 2008