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），非對稱選擇網(wǎng)（AC）的共享單鏈子網(wǎng)郃成網(wǎng)爲(wèi)各自相應(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ǎng)的極小活標(biāo)識的配置化爲(wèi)強(qiáng)連通-T圖極小活標(biāo)識的配置。