Publications

Export 82 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is G  [Clear All Filters]
1995
[1076] García-Vallés, F, Colom JM.  1995.  A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs. 1995 IEEE International Conference on Systems, Man and Cybernetics. 4:3451-3456.
1992
1990
1987
[ICSilv87] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.