Questions tagged [petri-nets]

The tag has no usage guidance.

25 questions
Filter by
Sorted by
Tagged with
1 vote
38 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
61 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
32 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 ...
1 vote
45 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
545 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-...
129 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 ...
• 1,943
107 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 (...
• 1,943
133 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
1 vote
3k 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 ...
1k 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
58 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$ ...
• 699
306 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
1 vote
83 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
45 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
56 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
247 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
166 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 ...
502 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) ...
445 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
1 vote
3k 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
121 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
1 vote
217 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
78 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
161 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