A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs
| Title | A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs |
| Publication Type | Conference Paper |
| Year of Publication | 1995 |
| Authors | García-Vallés, F, Colom JM |
| Conference Name | 1995 IEEE International Conference on Systems, Man and Cybernetics |
| Date Published | 10/1995 |
| Publisher | IEEE Computer Society Press |
| Conference Location | Vancouver, British Columbia, Canada |
| ISBN Number | 0-7803-2559-1 |
| Export |
