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
1
vote
1 answer

export cpntools project to jpg/png

i searched all around the web and could not find a way to export a CPN (Colored Petri Nets) model in cpntools to a jpg or png image. here is a fuzzy article but not so informative and helpful. is there any idea?
mR.aTA
  • 174
  • 2
  • 19
1
vote
2 answers

What will be the number of reachable states if Petri-Net model states are in loop

If i have a Petri-net Model of 8 Places and 8 Transactions.There is not any dead state in this model because the token is in loop and going through all 8 places in first loop. In second and remaining loops it will go through 6 places because the…
Usman YousafZai
  • 1,088
  • 4
  • 18
  • 44
1
vote
0 answers

CPN Tools, ML Language: Compile Error when generating code

I am trying to implement Token Bucket algorithm with the use of CPN Tools. I must say that I am very pleased with the tools and the results it provides. Now, concerning my problem. Firstly, I tried to build a token bucket model with just the use of…
raiden_x7
  • 71
  • 1
  • 6
1
vote
0 answers

Atmel Studio 6.2 Simulator with USART (UDRE0 bit)

This is my first time posting to this forum and I hope you can help me out. For my research project, I need to implement a Petri Net executioner in C to use all the subsystems of a micro controller. I have been using Atmel Studio 6.2 to simulate the…
Ravi Raju
  • 11
  • 1
1
vote
1 answer

Petri net with reset arc

How to find an ordinary Petri net equivalent to Petri net with reset arc? This ordinary net have to respect the semantic of reset Petri net. Best regards.
chsms
  • 107
  • 2
1
vote
0 answers

Is there a simple way to conditionally produce no token in a CPN TOOLS net?

I have encountered a situation where I would like to ignore some inputs. In my transition action I use a simple if-then-else expression to test for the inputs I wish to produce output tokens for and I generate a "NOP" token for those I'd like to…
Stephen
  • 1,607
  • 2
  • 18
  • 40
1
vote
1 answer

Why does CPN TOOLS keep reverting my edits?

When editing a declaration I type in my changes and click on the background and it immediately reverts my text. I have no syntactic issues, I can delete the declaration and write a new one and it accepts it just hunky dory, any ideas what's causing…
Stephen
  • 1,607
  • 2
  • 18
  • 40
1
vote
1 answer

Is there a established data structure for place/transition petri-nets?

I'm trying to come up with an elegant solution for representing place/transition petri nets. So far I save them as follows: {:netname {:places {:name tokens, ...} :transitions #{:t1, :t2, :t3, ...} :edges_in #{[:from…
WeGi
  • 1,908
  • 1
  • 21
  • 33
1
vote
0 answers

Evaluation net editor

I am looking for a editor for Evaluation nets (E-net, extension of Petri nets). Something like: PIPE2, or WoPeD, or Yasper (but it not open source and works on Windows only). I only found that question and not found anything about the result of…
Dzwiedziu-nkg
  • 703
  • 6
  • 19
1
vote
1 answer

how can I use PNML Framework to parse pnml file?

I try to find how can I use PNML Framework http://pnml.lip6.fr/index.html to parse pnml file but I didn't find any useful information, can you help me?
user1149501
0
votes
0 answers

when i run this function it just gives the reachabilty graph

I am trying to produce the coverabilty graph for any petri net using a function i already have for the reachabilty but a keep getting the reachability graph no matter the input here is the function def…
samm bodie
  • 11
  • 1
0
votes
0 answers

Is there a better or more simple way to calculate reachability?

I am trying to calculate the reachability graph for any petrinet. the function where the calculation happens is not enabeling me to fire enabeled transitions and therefore the grapgh has only the initial node with initial markings i have no idea…
samm bodie
  • 11
  • 1
0
votes
1 answer

Save Petri net model and load it again in Python

Im using the pm4py packege in order to simulate a Petri net model using a log. I do this by chosing random traces from the log file and than use induactive_miner to create Petri net for those traces. My goal is to save the Petri net and load it…
Aviv Gerasi
  • 19
  • 2
0
votes
0 answers

Observer in Constraint Handling Rules (Petri Nets example)

I'm learning Constraint Handling Rules (in SWI-Prolog) and trying to (faithfully) program the "Example 5 (Petri Nets - Barber Shop)" from https://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/rule-based-summer-2013.pdf (page…
hakank
  • 6,629
  • 1
  • 17
  • 27
0
votes
0 answers

Number of transitions in n parallel activities of petri net

Suppose that there are n parallel activities, i.e., all n activities need to be executed but any order is allowed. There are n! possible execution sequences. The transition system requires 2^n states and n×2^(n-1) transitions. I do not understand…
Awol SEiD
  • 1
  • 1
1 2
3
4 5