For synchronous distributed systems, the synthesis problem is well known ... Petri games extend Petri nets with a distinction between system ...
確定! 回上一頁