Skip to Content.
Sympa Menu

k-user - [K-user] Creation of process instances

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Creation of process instances


Chronological Thread 
  • 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.

Top of Page