# Questions tagged [petri-nets]

The tag has no usage guidance.

25 questions
Filter by
Sorted by
Tagged with
443 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 ...
• 131
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 ...
• 31
465 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 ...
• 31
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 ...
• 2,193
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
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 ...
• 207
308 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 ...
• 305
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, ...
• 385
154 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 ...
• 123
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?
• 577
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 ...
• 134
1 vote
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 ...
1 vote
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 ...
• 109
1 vote
221 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....
• 11
1 vote
73 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'...
• 155
1 vote
788 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-...
1 vote
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 ...
• 113
1 vote
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 ...
• 201
1 vote
101 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$ ...
• 113
1 vote
55 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 ...
1 vote
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 ...
• 113
134 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,193
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 ...