A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs

TitleA Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs
Publication TypeConference Paper
Year of Publication1995
AuthorsGarcía-Vallés, F, Colom JM
Conference Name1995 IEEE International Conference on Systems, Man and Cybernetics
Date Published10/1995
PublisherIEEE Computer Society Press
Conference LocationVancouver, British Columbia, Canada
ISBN Number0-7803-2559-1
Export