Questions tagged [petri-nets]
25 questions
3
votes
2 answers
Benefit 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 that you can model the same stuff (eventually) using…
Lance Pollard
- 2,323
- 1
- 19
- 34
3
votes
1 answer
Are Petri Nets actually used in the industry
I'm having a hard time finding any prominent applications of Petri nets in the industry. Can you name some, or are Petri nets still just an academic curiosity?
jnalanko
- 597
- 5
- 10
3
votes
0 answers
Token-sliding as a kind of Petri net: well-studied subclass?
Let a directed graph $G = (V, E)$ be given, plus a constraint map $c: E \rightarrow V$ and a set $T \subseteq V$ of initial token locations. A valid move consists of sliding a token from $v$ to $w$ if:
$v \in T$ — to slide a token, it must be…
Jonas Kölker
- 729
- 3
- 11
3
votes
3 answers
How to Determine Places, Transitions and Tokens in a Scenario when Modeling with Petri Nets?
When modeling a scenario with Petri nets how should I determine the places, transitions and tokens?
Example:
There are two exam assistants in an exam hall observing the exam. They stand in front of the exam hall. When a student has a question one…
Infinity
- 131
- 1
3
votes
1 answer
How to Generate Control flow graph from a Petri net model?
My research is mainly focused on generating test sequences automatically using Colored Petri net.CFG provides techniques for generating test sequences. But some papers says that, test sequence generation methods based on a control flow graph…
Nitu08
- 31
- 4
3
votes
0 answers
I need a better data structure than a graph with condition nodes
Suppose i have a cyclic weighted ($\mathbb{Z}$) directed graph where nodes are either simple or complex. a simple node is just a usual node whilst a complex node is a node that contains a set of integers which act as conditions. Consider the graph…
Tyler Durden
- 207
- 1
- 7
3
votes
2 answers
Can a petri net fire only one transition at a single moment?
After reading several articles about petri nets, I am confused on how firing works. Can Petri net system fire only one transition out of all active (fire-able transitions) at a single moment? Or are multiple transitions allowed to fire at a single…
Petri
- 31
- 2
2
votes
1 answer
Construct initial marking for marked graph so that the graph is live and safe
I am learning something about P/T petri nets from the book from Wolfgang-Reisig authors and on the seventh chapter's end there is an exercise I can not really work out.
It asks me to construct initial marking such that the following marked graph is…
FanaticD
- 123
- 4
2
votes
1 answer
What happens when sink transition is enabled
Well I guess it is only a matter of definition but I've failed to find certain answer to the following question:
In a Petri net if transition has k inputs and zero outputs what is considered to happen when transition fires? Do we have just k - 1…
shabunc
- 144
- 6
2
votes
2 answers
Modelling a dependency of multiple transitions on data in one place
We are modeling our process using a colored Petri net. One of the limitations we have is that when multiple transitions depend on one place, only one of those transitions will fire because then the token and data is consumed.
How can we model our…
user2609980
- 305
- 2
- 6
2
votes
1 answer
Is a Petri net without places well-defined?
I'm a bit confused about the definition of a Petri-Net. From Wikipedia (EN) I have this defintion:
A Petri-Net is a 5-Tupel (P, T, F, W, s)
P and T are disjoint finite sets of places and transitions, respectively.
So the defintion says: $P \cap T…
Cilenco
- 415
- 4
- 12
2
votes
1 answer
Converting reality to Petri net
I'm autistic and I think a bit differently. I have superior memory and visual thinking, but I have a problem with converting real thing to abstract. I'd like to model reality processes with Petri nets. But... when I think of cooking meal or using a…
złyVlojk
- 21
- 2
1
vote
2 answers
I can not understand some petri net properties ( quasi-liveness and liveness )
Can anyone please help me understand the quasi-liveness and liveness properties of petri nets. Suppose that you explain that to a person with 10 years old.
For my part, i have the following definitions.
- quasi-liveness petri net: its mean that…
mustafa salim
- 13
- 1
- 5
1
vote
1 answer
Petri Net Verifier
Imagine I can specify a certain process as a Petri Net. Is there any good software, open source or not, that can verify my process against some conditions I declare (or code) in some language?
In case not, is there an open source software that does…
Temitope.A
- 113
- 2
1
vote
1 answer
Is there a difference between "marking", "configuration" and "state" in Petri nets?
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 Configuration Graph, also referred to as a…
Sumurai8
- 113
- 4