Questions related to use of CPN Tools, a tool for editing, simulating, and analyzing Colored Petri nets.
CPN Tools is a tool for editing, simulating, and analyzing Colored Petri nets. See http://cpntools.org/ for more information.
Questions tagged [cpn-tools]
14 questions
1
vote
0 answers
CPN ML: how do i get a product containing a certain element, from a list
I'm trying to make a function with arguments a and bs, that will check if list bs contains a product whos first element is a.
If list bs contains a product whos first element is a, then that product is returned.
The function is giving a…
skullkrusher
- 11
- 3
1
vote
1 answer
how to write multiple conditions in if statement in cpn ml?
I'm writing a cpn ml language code and I'm almost a beginner. I wanted to know how can I write 2 or several conditions in if statement? I mean I want to "and" several condition so that all of them should be correct simultaneously.
Here is the code.…
Little Girl
- 27
- 2
- 8
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
0
votes
0 answers
CPNTools how to create the Concept Graph
I have a concept for my Graphic, but i dont know how to rialize in CPNTools.
The Arrowy are the conections between the Place and Transition.
the conections:
arc: Input to InitializeInput,
from InitializeInput to Chunks,
from Chunks to…
Polygon
- 1
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…
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
real colorset in cpn tools and sml
I'm new in cpn tools and standard ml language. I want to define real colorset in cpn tools but it shows error:
real are not supported in cpn tools.
How can I do this without changing my IDE?
thank you for your help.
M.rnnnn
- 112
- 2
- 11
0
votes
1 answer
division operator error in standard ml and Cpn tools
I'm new in standard ml and I'm using cpn tools.I have some constants:
val PHY=120;
val RB=1;
I want to calculate PHY/RB then I have created
val x=PHY/RB; in cpn tools
but it has error when I write divide operator what is the problem?
please help me…
M.rnnnn
- 112
- 2
- 11
0
votes
0 answers
Error in SML code with higher order functions
I'm trying to select the minimum element in a list based on the third value of its elements. But there seems to be a problem with my usage of higher-order functions in the min_proc function. (I'm using SML in CPN Tools)
fun min_process(p1: DATA, p2:…
FoxyZ
- 148
- 1
- 12
0
votes
1 answer
Syntax Error : replacing TYVAR with SEMICOLON CPN Tools
Syntax Error Image
Syntax Error Image
What is meant by TYVAR here and how can it be resolved such that there is error in parsing it?
Shivam Sood
- 18
- 3
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
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
2 answers
Logs generation for process mining on a workflow model
I have a workflow model in paper format and i want to check its working in ProM, (the software for process mining). As ProM takes Event logs as input. But i have not event logs of that workflow model. How can i generate logs form that workflow model…
Programmer
- 408
- 1
- 5
- 15