This extension notably increases the expressiveness by allowing a 'test to zero' and thus makes Petri nets as powerful as counter automata and Turing machines [ ...
確定! 回上一頁