From: =?euc-kr?B?VGFlaG8gS0lNIFwoseggxcLIo1wp?= <thkim@salmosa.kaist.ac.kr>
To: <designCPN@daimi.au.dk>
Date: Tue, 1 Jul 2003 01:09:03 +0900
Subject: (dCPN) A question on guard

I wrote down a guard which seems to be a syntax error, 
however the Design/CPN 4.0 simulates unexpected behavior. 

This is an example : 

( O ) --1`in--> [ (not (in=A)) orelse (out=C)  ] ---1`out--> ( O )  

color O = with A | B | C;
var in : O;
var out : O; 

(   ) : place    
[   ] : transition 
--   -->  : arc 

The input arc to the transition specifies 'in' and doesn't specify 'out', 
but the guard on the transition specifies both 'in' and 'out'. 
It looks like a syntax error, however the Design/CPN passes the syntax
checking and does unexpected behavior.  

If the initial marking of the left place is 1`A+2`B, then the final marking
of the right place is 2`A+1`C.

---
[[ Post messages and summary of replies:              designCPN@daimi.au.dk ]]
[[ To (un)subscribe, send "help" to:                  Majordomo@daimi.au.dk ]]
[[ The moderator's address:                     designCPN-owner@daimi.au.dk ]]
[[ World Wide Web URL:              http://www.daimi.au.dk/designCPN/email/ ]]