About this Journal Submit a Manuscript Table of Contents
Journal of Engineering
Volume 2013 (2013), Article ID 970487, 13 pages
http://dx.doi.org/10.1155/2013/970487
Research Article

Controller Synthesis of Time Petri Nets Using Stopwatch

Laboratoire VeriForm, Department of Computer Engineering, Ecole Polytechnique de Montréal, P.O. Box 6079, Station Centre-ville, Montréal, QC, Canada H3C 3A7

Received 30 August 2012; Revised 16 January 2013; Accepted 21 January 2013

Academic Editor: WaiKeung Wong

Copyright © 2013 Parisa Heidari and Hanifa Boucheneb. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Parisa Heidari and Hanifa Boucheneb, “Controller Synthesis of Time Petri Nets Using Stopwatch,” Journal of Engineering, vol. 2013, Article ID 970487, 13 pages, 2013. doi:10.1155/2013/970487