free-choice net

基本解釋

Several sufficient conditions are presented, which the single-link- subnet synthesis net of free choice nets(FC), asymmetric choice nets(AC) is a FC net, AC net respectively.
給出了自由選擇網(wǎng)（FC），非對(duì)稱(chēng)選擇網(wǎng)（AC）的共享單鏈子網(wǎng)合成網(wǎng)為各自相應(yīng)網(wǎng)的充分條件；
The second, the assignment of minimal live marking for choice-free repetitive Petri net is transformed into the assignment of minimal live marking for the strong connective T graph.
然后將無(wú)沖突可重復(fù)網(wǎng)的極小活標(biāo)識(shí)的配置化為強(qiáng)連通-T圖極小活標(biāo)識(shí)的配置。