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

In CPN-Tools create a integer colset that acts as an index

I am new to CPN-Tools, and have gone over some of the Real world examples on the website. In my net, I would like to have a col set with positive integer values as shown in this figure. The issue with the above MWE is, whenever the transition is…
user1532075
  • 1
0
votes
0 answers

Petri net encoding into PDDL

I am a beginner in PDDL. I am trying to write a domain file for Petri net with a fire transaction function. (define (domain newpetri) (:requirements :strips :typing :fluents) (:types place transition) (:predicates …
Ann
  • 11
  • 2
0
votes
2 answers

What are the best planners for PDDL2.1?

I am working now on my internship with PDDL: I am struggling to find the appropriate planners for PDDL2.1. The task is to compare different PDDL planners according to the following criterias: version of PDDL. Benchmark. supporting the numeric…
Ann
  • 11
  • 2
0
votes
1 answer

Can someone tell me which language this is and how i should compile this into a graph?

Can someone tell me which language this is and how i should compile this into a graph? I downloaded a python code and after execute it gave me this back. There was nothing in the documentation except that the output is a dot-file. digraph pn…
vace
  • 35
  • 4
0
votes
1 answer

Jointjs petri-net graph tokens do not render! What can i do?

currently I am trying to set up a Petrinet generator as jupyter widget. Therefore I am using the cookiecutter-ts-widget template, which means i am implementing the frontend logics in typescript. I am happy with the progress and everything works fine…
SlimJim
  • 13
  • 2
0
votes
1 answer

How to create an indexed integer colset in CPN-Tools?

How to create an indexed, easily iterable, int Colset? I need to pass ints by index to a transition function, and I'm thinking about something with an index such as colset PH = index ph with 1..n
Raed Tabani
  • 217
  • 3
  • 7
0
votes
1 answer

How would a Petri Net fire output events to an external device?

I am currently building a controller that should take a Petri Net and, based on input events it receives from another device, should fire output events to that same device. The question is: how would a Petri Net fire output events to an external…
tibaum
  • 43
  • 1
  • 5
0
votes
0 answers

Using threads in java how can i implement this petri net?

So, i have to implement some petri nets in java and I have to use threads. The Synchronized method is pretty clear when i have to use it just once. The wait/notify method is't really clear for me, so i'm stuck. If anyone could explain it to me how…
Michael Ninaci
  • 1
  • 2
0
votes
1 answer

Who knows an algorithm for k soundness verification?

I have a workflow net (petri net) and I have to implement an algorithm to verify if it is k sound correct.
Lidia Cotovanu
  • 1
  • 1
  • 1
0
votes
1 answer

How to get the elements of a UNION type?

I have the following declarations: colset AUTHENTICATION = product INT * STRING; colset REQUEST_PUB = product AUTHENTICATION * STRING * REAL; colset REQUEST_SUB = product AUTHENTICATION * STRING * INT; colset REQUEST_PUBSUB = union…
Dalton Cézane
  • 3,672
  • 2
  • 35
  • 60
0
votes
1 answer

How to use UNION type to receive different types in one CPN place?

I want to use a union in a way a place can receive two different types of "request", in my Coloured Petri Net model. I have the following declarations: colset AUTHENTICATION = product INT * STRING; colset REQUEST_PUB = product AUTHENTICATION *…
Dalton Cézane
  • 3,672
  • 2
  • 35
  • 60
0
votes
1 answer

Is there a PetriNet tool with an IPC interface?

I'm looking for a quality tool to draw PetriNets with that has an interface to connect to my own application. I have a PetriNet abstraction layer, and instantiated a fairly large Net. Now I want to visualize it to ease up the debugging of my…
Pieter
  • 1,191
  • 1
  • 11
  • 29
0
votes
3 answers

Deadlock without cycle

if I draw a graph that symbolizes all possible calls to blocking functions (java synchronized methods) and I haven't got any cycle in this graph, can I be sure that deadlocks are imposible. Do petri-nets not work like that? I am not looking for…
Franz Kafka
  • 10,623
  • 20
  • 93
  • 149
0
votes
1 answer

CPN Tools - Exception compile is raised with aborted parsing

I am generating a Message Sequence Chart (MSC) to my model. I have the following code in the transition and it is working: input (p_id, p_cert, v_id, v_cert); action MSC.addEvent(msc, p, i, func_to_concat(p_id, p_cert)); if v_cred(p_id, p_cert,…
Dalton Cézane
  • 3,672
  • 2
  • 35
  • 60
0
votes
1 answer

Evaluation nets web-based editor: searching for the toolkit

My goal is to implement web based editor for evaluation nets (extension of Petri nets), something like that swing app, language - Java. However I've never implemented rich web applications like that, so I am searching for the proper toolkit now.…
n0weak
  • 750
  • 10
  • 22
1 2 3
4
5