k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: samira kherfellah <samira.kherfellah AT gmail.com>
- To: k-user AT cs.uiuc.edu
- Subject: [K-user] Creation of process instances
- Date: Mon, 1 Apr 2013 12:48:01 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
Hello,
My system consists of processes. A process can have multiple instances.
In the creation process, I want to create all process instances.
Here is the rule of creation process:
rule <k> process P:Id (N:Int) ; S:State endprocess ; => S ...</k>
<world>... . => SetItem(P) ...</world>
(. => <process>
<name> P </name>
<queue> .List </queue>
<states> .Map </states>
</process>) [transition]
This rule allows to create a single instance of each process and not all instances.
How to create all process instances (N)?
Thank you for your help.
Sincerely,
Samira
- [K-user] Creation of process instances, samira kherfellah, 04/01/2013
Archive powered by MHonArc 2.6.16.