The Formalization of Decision-Free Petri Net

Published Online: Mar 30, 2014

Page range: 29 - 35

DOI: https://doi.org/10.2478/forma-2014-0004

Keywords

specification and verification of discrete systems, Petri net;

© by Pratima K. Shah

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)