海词手机词典
  • This paper proves that any coloured Petri Net can be equivalently variated into a Place/Transition Net, and discribes the equivalent variation algorithm.

    播放读音 播放读音