资 源 简 介
A black-token Petri net editor and simulator for Android. Includes example nets modeling common concurrent programming constructs such as mutual exclusion, fork and join and the classic dining philosophers.
Base functionality includes the ability to edit, simulate, load and save Petri nets on Android powered devices.
A screen-shot of the Petri net application showing the mutual exclusion example net.
