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 inte ...

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 plann ...

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 ba ...

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 imp ...

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 a ...

How do I create a new case in actions in Petriflow language? I have tried createCase(). ...

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 event ...

As the question says, is there any way to draw a Petri Net to a cmd using networkx module in python? If not what are the options availible to make do ...

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 appl ...

I have the following declarations: I have a place of type REQUEST_PUBSUB which can receive tokens of both REQUEST_PUB and REQUEST_SUB types. This p ...

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 declaration ...

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 t ...

I am new to openmodelica, Since I work in reliability engineering, the main feature of openmodelica that I will use is petri nets modelling. I've lear ...

What software or tool was used to generate these high-level petri nets graph images? I looked for many tools but could not find that one. from https ...

Both of them represent the different states a system can take. So what is the difference of Petri Nets and Finite State Machines? When do I use Petri ...

I am generating a Message Sequence Chart (MSC) to my model. I have the following code in the transition and it is working: I tested this code and i ...

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 be ...

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 m ...

Suppose I know the markings of a given place-transition net. How do I determine which of the markings is a place invariant? I also know the initial ...

It is my first time doing a Petri net, and I want to model a washing machine. I have started and it looks like this so far: Do you have any correc ...