Many of those problems require an analysis of the reachability graph of the Petri net. The basis reachability graph is a condensed version of the reachability ...
確定! 回上一頁