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
2
votes
2 answers

How to nest points (shapes) inside a circle (shape)?

I would love to get to: I try variations on such graph: digraph G { node [shape=circle penwidth=2 fixedsize=true label=""] token [shape=point ] place [ xlabel="P2" _background="digraph G { e[shape=point ] }"] } testable in this online…
DuckQueen
  • 772
  • 10
  • 62
  • 134
2
votes
2 answers

Is there a standard diagram type with both state and activity?

I understand that a UML activity diagram describes an algorithm, so in a sense it's the modern version of a flow chart, while a UML state chart shows all the possible (or interesting) states an object or system can find itself in, and shows all the…
Tobia
  • 17,856
  • 6
  • 74
  • 93
2
votes
1 answer

How does rule-based verification with Petri nets work and what is this good for?

A friend just pointed me out to an new development in computer science called "rule based verification with Petri nets". He's not a computer guy but an artist, so I wonder if that's really something cool I must look at? Over the phone he told me…
openfrog
  • 40,201
  • 65
  • 225
  • 373
2
votes
1 answer

Timed Indexed Color sets in CPN Tools that results in Unhandled Exception Error

I am using CPN Tools to model a distributed system. CPN Tools uses CPN ML an extension of SML. The project homepage is: cpntools.org I started with a simple model and when I try to make a particular indexed color set timed, I get an "Internal…
S K
  • 19
  • 1
2
votes
0 answers

Persisting a Ruby-based Petri net object model

I wrote a Petri net domain model in pure Ruby and I plan to persist it with MongoDB. Petri net places and transitions have "arcs" (place - transition arrows) relations, and perhaps other relations, too. So far, my nets are small, so I can store them…
Boris Stitnicky
  • 12,444
  • 5
  • 57
  • 74
2
votes
0 answers

Counting Arcs to Places and Transitions in CPN-Tools

Background: CPN-Tools is a model checker using colored Petri nets, and it uses CPN ML as its query language. CPN ML is an extension of Standard ML, a type-inference functional language. Issue: CPN-Tools is popularly used to model domains that…
Hamman Samuel
  • 2,350
  • 4
  • 30
  • 41
1
vote
1 answer

How to implement "binding" for coloured petri net in Java?

I'm implementing a coloured petri net in Java. It's kind of a finite state automata. The problem is that I don't know how to implement "binding". In other words, colors should be assigned to places and arc expressions should be assigned to arcs.…
Klausos Klausos
  • 15,308
  • 51
  • 135
  • 217
1
vote
1 answer

How to change value by async.run with Petriflow?

I have an action like this: text: f.text; async.run { change text value { return "My async text" } } But in Mongo, there is no change.
Ľuboš Petrovič
  • 23
  • 3
1
vote
1 answer

How to create a new case in Petriflow language?

How do I create a new case in actions in Petriflow language? I have tried createCase().
Ľuboš Petrovič
  • 23
  • 3
1
vote
1 answer

What's the difference between a common clustered system and a Petri net?

Maybe I'm comparing potatoes with apples. I'm working with YAWL, a workflow language that is based on Petri net. I'm at the very start of beginning to understand it, but there's a point that I doesn't catch: what is the difference of a "classic"…
Marco Sulla
  • 15,299
  • 14
  • 65
  • 100
1
vote
0 answers

Tokens in Places invisible

Since JointJs 2.0.0 (this also occurs in 2.0.1) the PetriNet Plugin does not render any tokens in the places. The fiddle contains the demo from the JointJS site with the newest JointJS version. The following code should create a place with one…
Josch
  • 11
  • 1
1
vote
0 answers

Petri Net Verifier

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 case not, is there an open source software that does…
Temitope.A
  • 113
  • 9
1
vote
1 answer

Creating tokens with random value

In the petrinet shown below i have a problem creating tokens with random value in place input2, since the rand() function doesn't seem to work. Is there any other way to do it?
davdis
  • 233
  • 1
  • 2
  • 14
1
vote
1 answer

Boundness criteria of coloured petri nets

Is there an algorithm to check the boundness criteria (meaning that the state space is finite) for coloured petri nets (or is this property not decidable)?
PKuhn
  • 1,338
  • 1
  • 14
  • 30
1
vote
0 answers

draw petri net graph of Travelling salesman

Can you draw the petri net model of Travelling salesman problem? Is it possible in petri net to have places with different kinds?
user5922229
  • 31
  • 1
  • 5
1
2
3 4 5