需求
“Create a Petri net with two transitions, initial tokens in three places, a split into two paths, and a feedback loop from the final place.”
接著試試Add a token to the second place.Rename the transitions to Start and Complete.
Murata's canonical place/transition net — one transition forks a token into two concurrent branches that a second transition joins, with a feedback place closing the loop. The engine marks which transitions are enabled in the current marking.
“Create a Petri net with two transitions, initial tokens in three places, a split into two paths, and a feedback loop from the final place.”