Stack Overflow
Stack Overflow

Questions tagged [petri-net]

A Petri Net is a description of a system in terms of net elements. There are four Types of Net Elements: Place, Transition, Input and Output. An input connects a place to a transition. An output connects a transition to a place. An annotation is any type of information. A net element may have zero or more annotations. An annotation may have zero or more annotations too.

A Petri Net is a description of a system in terms of net elements. There are four Types of Net Elements: Place, Transition, Input and Output. An input connects a place to a transition. An output connects a transition to a place. An annotation is any type of information. A net element may have zero or more annotations. An annotation may have zero or more annotations too.

70 questions
13
votes
3 answers

What's the difference of Petri Nets and Finite State Machines?

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 Machines?
LJag
  • 321
  • 2
  • 13
9
votes
3 answers

Petri net drawing and code generation

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 be outputting a file with only the description of the…
Hernán Eche
  • 6,529
  • 12
  • 51
  • 76
9
votes
3 answers

What exactly is the difference between a theoretical petri net and a BPMN workflow?

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 simplification of business processes modelled in BPMN…
Amit Kothari
  • 520
  • 8
  • 23
8
votes
7 answers

Is there a tool to model/simulate software concurrency?

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 more or less, but I don't know a good GUI tool that can…
Andrey Adamovich
  • 20,285
  • 14
  • 94
  • 132
7
votes
0 answers

Conditional routing in Symfony Workflow component

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, AND-join, ORsplit and OR-join) to build sequential,…
Andris
  • 4,392
  • 2
  • 20
  • 16
5
votes
5 answers

Petri-net editor

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?
Handsome Nerd
  • 17,114
  • 22
  • 95
  • 173
4
votes
3 answers

Concurrent code analyzer

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 classes and methods then it comes down to a simple…
Franz Kafka
  • 10,623
  • 20
  • 93
  • 149
4
votes
1 answer

How to convert an activity diagram to a petrinet, synthesize it and then analyse it?

I am doing a project on Petri nets. I have generated an activity diagram (in the .xmi format) using the UML tool Umbrello. I need to convert it to a Petri net and then synthesize it using the tool Petrify. But in order to convert it to the Petri…
rekharajct
  • 51
  • 2
4
votes
2 answers

Checking for simultaneous channels ready in go

I would like to know if the go language allows checking for multiple channels being ready at the same time. Here is a somewhat contrived example of what I'm trying to do. (The actual reason is to see if I can implement petrinets natively in…
Brian Candler
  • 41
  • 1
3
votes
1 answer

Using java code in pnml to represent Colored Petri Net

When we write a Colored Petri Net (CP-Net), can we use java code in the declaration section like the following example in PNML, or we have to consider a standard in this part also? the following example is an XML representation, but can we use the…
user1149501
2
votes
1 answer

Drawing Petri Network using Networkx module in Python

As the question says, is there any way to draw a Petri Net to a cmd using networkx module in python? If not what are the options availible to make do this task? I am working on a project for uni to make a Petri Network and to print it after the user…
Vlad Calotă
  • 33
  • 1
  • 3
2
votes
1 answer

ExtendedPetriNets Library Problem in OpenModelica

I am new to openmodelica, Since I work in reliability engineering, the main feature of openmodelica that I will use is petri nets modelling. I've learnt the ExtendedPetriNets library (https://github.com/modelica-3rdparty/ExtendedPetriNets). However…
mnx
  • 45
  • 5
2
votes
1 answer

Petri Nets graph image generation tool

What software or tool was used to generate these high-level petri nets graph images? I looked for many tools but could not find that one. from https://ieeexplore.ieee.org/document/7464291 (source: springernature.com) from…
YDKK
  • 66
  • 6
2
votes
4 answers

Need help understanding place invariants as used in place-transition nets

Suppose I know the markings of a given place-transition net. How do I determine which of the markings is a place invariant? I also know the initial marking. I will appreciate a very easy-to-digest explanation. I have read page 17 of this paper,…
eyered
  • 117
  • 1
  • 8
2
votes
3 answers

Washing machine petri net

It is my first time doing a Petri net, and I want to model a washing machine. I have started and it looks like this so far: Do you have any corrections or help? I obviously know its not correct, but I am a beginner and not aware of the mistakes…
Christian Paul
  • 55
  • 10
1
2 3 4 5