What is the intuition behind a Free-Choice Petri Net?
So I’ve found this definition in a paper called Time and Petri Nets, Popova-Zeugmann, L., but I am unable to understand the intuition behind it. N is a free-choice net (FC net) if each shared place is...
View ArticleIs there a difference between “marking”, “configuration” and “state” in Petri...
When finding sources for certain definitions related to Petri nets, I found that there seem to be three ways of referring to “which tokens are located in each place”: Configuration (e.g. in Sequential...
View ArticleBenefit of Petri Net Transition as Separate Object
In learning about Timed Automata, Coloured Petri Nets, and Process Calculi, I am wondering what the benefit is of having the Petri Net transition be a separate type of node in Petri Nets. It seems...
View ArticleIs there a realistically implementable algorithm for testing the termination...
I am trying to implement this petri net simulator. Amongst it’s specifications it has to return a map of reachable markings from the current state. I don’t really want it to give me an OutOfMemoryError...
View Article