Decomposition of Petri nets based on the behavior relation matrix | IEEE Conference Publication | IEEE Xplore