Questions tagged [petri-nets]
The petri-nets tag has no usage guidance.
25
questions
3
votes
2
answers
142
views
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 ...
- 5,519
2
votes
1
answer
157
views
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 ...
- 5,519
0
votes
1
answer
41
views
Verification of atomic primitives using Petri Net Models
I want to verify semantics of a library of atomic primitives that I wrote. The idea is, only if the semantics of all the primitives are consistent with each other, an application that uses them could ...
- 5,519
1
vote
1
answer
56
views
Is there a realistically implementable algorithm for testing the termination of a given petri net?
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 ...
- 5,519
1
vote
1
answer
77
views
Why are reachability trees meaningful for Petri Nets
To construct a reachability tree we start with the initial marking and then consider all enabled transitions and fire them one by one. That is, we find the marking corresponding to firing each.
I can'...
- 5,519
3
votes
2
answers
1k
views
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 ...
- 5,519
3
votes
3
answers
453
views
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 ...
- 5,519
1
vote
1
answer
110
views
How to model an inverse "token relationship" in Petri nets?
Suppose I have the following Petri net:
I wonder whether it is possible to model an inverse relationship between $p2$ and $p3$. Basically what I want to achieve is to make either $t1$ or $t2$ ...
- 5,519
1
vote
2
answers
4k
views
Petri nets boundedness
I want to ask about Petri net (PN) boundedness. When I have a state s1 = (2 0 0), then I find state s2 = (2 0 1), so since ...
- 5,519
1
vote
2
answers
4k
views
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 ...
- 5,519
1
vote
1
answer
81
views
What mathmatical model shall be used for describing P2P processes interaction?
I am creating a distributed service system. It runs in the cloud on heterogeneous hardware. I am using C# .NET for business logic and C++ for different physics\chemical calculations. Having three ...
- 121
2
votes
1
answer
56
views
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 ...
- 5,519
1
vote
1
answer
62
views
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 ...
- 5,519
1
vote
1
answer
808
views
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-...
- 5,519
0
votes
1
answer
135
views
What the State is, and Where it comes from, when Generating Reachability Graphs
For Timed Automata, I found Figure 1 below. For Coloured Petri Nets I found Figure 2. Both are for "Reachability Graph Construction".
However, they don't describe where they got the states from (...
- 2,742
2
votes
1
answer
2k
views
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?
- 72.4k
3
votes
0
answers
61
views
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$ ...
- 719
1
vote
1
answer
87
views
Petri Net Verifier [closed]
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 ...
- 4,252
2
votes
2
answers
315
views
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 ...
3
votes
1
answer
473
views
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 ...
- 540
-2
votes
1
answer
172
views
Petri net, how to stop it after 5 times
I have a task to reimplement this net (library system) into a 'finite' net, which ends after 5 'readings'. I have totally no clue how to achieve this, it was our first lesson.
Is there someone that ...
- 1,080
-1
votes
1
answer
569
views
What determines the number of arcs and tokens in a Petri Nets Model?
I study Petri Nets to model some cases related to my job. Currently, I study the basics of Petri Nets and am confused. (For the time being I couldn't get a textbook yet, I will.)
my questions
q1) ...
CommunityBot
- 1
2
votes
1
answer
126
views
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, ...
CommunityBot
- 1
1
vote
1
answer
223
views
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....
- 72.4k
3
votes
0
answers
164
views
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 ...
CommunityBot
- 1