From - Mon Nov 4 16:44:12 2002 Return-Path: Delivered-To: desgncpn@daimi.au.dk Received: by daimi.au.dk (Postfix, from userid 1) id BD10C3C030; Mon, 4 Nov 2002 13:48:28 +0100 (CET) To: designcpn-approval@daimi.au.dk From: designCPN-owner@daimi.au.dk Subject: BOUNCE designcpn@daimi.au.dk: Approval required: Message-Id: <20021104124828.BD10C3C030@daimi.au.dk> Date: Mon, 4 Nov 2002 13:48:28 +0100 (CET) X-UIDL: Y#;"!M9T!!Tpm!!mZ&#! Status: RO >From desgncpn@daimi.au.dk Mon Nov 4 13:48:26 2002 Received: from snowball.daimi.au.dk (dhcp-11-21-65 [10.11.21.65]) by daimi.au.dk (8.11.6/8.11.6) with ESMTP id gA4CmNf13738; Mon, 4 Nov 2002 13:48:23 +0100 Message-Id: <5.1.1.6.0.20021104133836.0250c190@daimi.au.dk> X-Sender: sorenchr@daimi.au.dk X-Mailer: QUALCOMM Windows Eudora Version 5.1.1 Date: Mon, 04 Nov 2002 13:48:18 +0100 To: designCPN@daimi.au.dk, Bao Tang From: Soren Christensen Subject: Re: (dCPN) A question about timing Cc: Soren Christensen In-Reply-To: <3DC6483B.11515967@win.tue.nl> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed X-Virus-Scanned: by amavisd-milter (http://amavis.org/) At 11:13 04-11-2002 +0100, you wrote: >In DesignCPN, the expression > e@+1 with e@[3] >is evaluated to > e@[4] > >What can i do if I want to evaluate an expression to > e@[step()+1] >which means that e will have a time stamp that is equal to the current >model time plus 1 . @+1 on an output-arc will evaluate to the time of the transition occurrence (current model time) plus 1. In the case where you have only one timed token as input the occurrence time will be determined by this token, but if you have more tokens the occurrence time till be the maximal value over the input tokens. The formal definition of Timed Colourede Petri Nets is decribed in: K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-58276-2. Best to you Soren Christensen >Thanks. >Bao Tang --------------------------------------------------------------------------- | Soren Christensen, Department of Computer Science, University of Aarhus | | Mobile and Wireless Systems, Centre for Pervasive Computing | | email: schristensen@daimi.au.dk | phone: +45 89 42 56 27 | | telefax: +45 89 42 56 24 | phone at home: +45 86 93 63 26 | ---------------------------------------------------------------------------