Archive for December 25th, 2008

(PN) About “transition fusion” in CPN tools?

??????? MIME ?????????????
–===============0139223867==
Content-Type: multipart/alternative;
boundary=”—-=_NextPart_000_0001_01C966A1.07267B20″
Content-Language: zh-cn
??????? MIME ?????????????
——=_NextPart_000_0001_01C966A1.07267B20
Content-Type: text/plain;
charset=”us-ascii”
Content-Transfer-Encoding: 7bit
Dear all,
Is there any support in Cpn tools on “transition fusion”?
I’d like to simulate the signal sending like “stop!” and signal reception
“stop?” with this tool.
I suppose that it can be simulated by two transitons, and do the synchronous
operation by “transition fusion”.
If so, how can I use […]

[Concurrency] GALOP IV @ ETAPS 2009 CfP

———————————————————————-
GaLoP IV
4th Workshop on Games for Logic and Programming Languages
[…]