Stack Overflow
Stack Overflow

Questions tagged [petri-net]

A Petri Net is a description of a system in terms of net elements. There are four Types of Net Elements: Place, Transition, Input and Output. An input connects a place to a transition. An output connects a transition to a place. An annotation is any type of information. A net element may have zero or more annotations. An annotation may have zero or more annotations too.

A Petri Net is a description of a system in terms of net elements. There are four Types of Net Elements: Place, Transition, Input and Output. An input connects a place to a transition. An output connects a transition to a place. An annotation is any type of information. A net element may have zero or more annotations. An annotation may have zero or more annotations too.

70 questions
0
votes
0 answers

PHP Fatal error:Class not found error

I am following a tutorial for generating pnml files using petrinet framework. I used this link from github and downloaded the php code. However, when I tried to run it locally on my system, I am not able to run due to the following error: Fatal…
TechJ
  • 512
  • 2
  • 5
  • 16
0
votes
1 answer

Tool to generate Petri Net as SVG

I've been asked to build a petri net engine to use as a basis for internal workflows at work. So far I've been able to generate all the logic and behaviours (I have created a "Service Desk" type of workflow to test rules and conditions) and it all…
Eduo
  • 131
  • 1
  • 9
0
votes
2 answers

Why the number of Final Markings is undefined in reachability graph of Petri Net?

I've read and heard several times that, reachability graph is a particular type of Transition System, with one initial and UNDEFINED number of final markings. But if you construct the reachability graph, you have very clear cases of final markings.…
Giorgi Tsiklauri
  • 9,715
  • 8
  • 45
  • 66
0
votes
0 answers

modeling Knapsack with petri net

I am new at petri net. what are the steps of drawing a petri net graph for Knapsack problem? Is petri net suitable for modeling this problem?
user5922229
  • 31
  • 1
  • 5
0
votes
1 answer

Petri net 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 s1 < s2 can I declare PN as NOT bounded ? Because when I have this PN: PN is bounded but u can find there (2 0 0) < (2 0…
tprieboj
  • 1,680
  • 6
  • 31
  • 54
0
votes
0 answers

What does M+L in monotonicity lemma mean

While studying a bit of petri nets I encountered on Monotonicity Lemma, which says: Let M and L be two markings of a net. If M->M' for a finite sequence sigma, then (M+L)->(M'+L) for every marking L. If M->for an infinite sequence sigma, then…
mark
  • 354
  • 2
  • 5
  • 15
0
votes
1 answer

Comparing two lists having a different structure

I'm trying to do a pattern-matching function in CPN Tools using SML. I have defined a colorset EVENT: colset EVENT = product EVENTTYPE * EVENTTIME timed; When comparing lists, I am only interested in the Event Type, so I'm trying to compare e.g.…
DCH
  • 199
  • 2
  • 3
  • 13
0
votes
2 answers

Why tokens are not added?

Reading this article it says: A firing of an enabled transition removes one token from each input place and adds one token to each output place. Now if I have the following net, with all single arcs After firing T1 I would expect P2 to contain…
Pablo
  • 28,133
  • 34
  • 125
  • 215
-1
votes
2 answers

Petri nets modelisation

I am face a problem that took me a lot of time and I do not resolve it yet, the problem is how does modelisation look like with Petri nets for an application writen in python? and if there are any exemple of couple of code and Petri nets…
Hachour Fouad
  • 52
  • 1
  • 6
1 2 3 4
5