rewriting petri nets stratagem formal methods
See more