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 |