Both of them represent the different states a system can take. So what is the difference of Petri Nets and Finite State Machines? When do I use Petri Nets, and when do I use Finite State Mach...

1-Can anybody introduce some modern Petri-net editor and compare theme? currently I am using WoPeD. 2-Is there any UML tools that also support Petrinet?

The documentation suggests that the Symfony Workflow component is based on Petri Net but the docs are not complete enough to determine if it supports the requirted routing constructs (AND-split, AN...

There's theoretical petri nets: http://en.wikipedia.org/wiki/Petri_net And then there's workflows expressed as BPMN 2.0. What exactly is the difference? The reason I ask is that we want to do a s...

Is there any software for drawing a Petri net and generating any source code from there? The source code could be in any already known programming language... Slightly less desirable option would ...

Is there a good tool out there that can model an application concurrency/locking scheme in a graphical way and that can simulate some of the aspects? I know that Petri nets can be used for that mo...

I am looking for a editor for Evaluation nets (E-net, extension of Petri nets). Something like: PIPE2, or WoPeD, or Yasper (but it not open source and works on Windows only). I only found that...

I was wondering if there is any framework or application(app)/program out there that can analyze the concurrency of any java code? If the tool knows all the implementations of the jre shipped clas...

My goal is to implement web based editor for evaluation nets (extension of Petri nets), something like that swing app, language - Java. However I've never implemented rich web applications like tha...