Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [petri-nets]

The tag has no usage guidance.

1
vote
1answer
48 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
1answer
47 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 ...
0
votes
1answer
42 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
votes
1answer
75 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 ...
1
vote
2answers
437 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 ...
2
votes
1answer
457 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?
3
votes
0answers
46 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$ ...
3
votes
3answers
87 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 ...
1
vote
1answer
65 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 ...
2
votes
1answer
30 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 ...
1
vote
1answer
39 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 ...
3
votes
2answers
140 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 ...
-2
votes
1answer
142 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
votes
1answer
303 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) ...
3
votes
1answer
349 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 ...
1
vote
2answers
1k 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 ...
2
votes
1answer
72 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 ...
1
vote
1answer
126 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....
1
vote
1answer
66 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 ...
3
votes
0answers
154 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 ...
3
votes
2answers
514 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 ...