@inproceedings {1076,
	title = {A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs},
	booktitle = {1995 IEEE International Conference  on Systems, Man and Cybernetics},
	volume = {4},
	year = {1995},
	month = {10/1995},
	pages = {3451-3456},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {Vancouver, British Columbia, Canada},
	isbn = {0-7803-2559-1},
	author = {F. Garc{\'\i}a-Vall{\'e}s and J.M. Colom}
}

