From desgncpn@daimi.au.dk Mon Mar 10 07:41:43 2003
Received: from mail.emu.edu.tr (mail.emu.edu.tr [193.140.41.70])
	by daimi.au.dk (8.11.6/8.11.6) with ESMTP id h2A6fbV24686
	for <designCPN@daimi.au.dk>; Mon, 10 Mar 2003 07:41:38 +0100
Received: from as1el38jri7zw8 ([213.208.51.105]) by mail.emu.edu.tr with Microsoft SMTPSVC(5.0.2195.5329);
	 Mon, 10 Mar 2003 08:41:28 +0200
From: "Huseyin Lort" <huseyin.lort@emu.edu.tr>
To: designCPN@daimi.au.dk
Date: Mon, 10 Mar 2003 08:40:57 +0200
Subject: Defining a step of simultaneously occuring transitions
Message-ID: <000b01c2e6d0$01fb2ee0$6933d0d5@as1el38jri7zw8>

Dear Petri-Netters,

We are using design/CPN tool for modelling and analysis of
interconnection networks. Even for simple cases the number of nodes in
corresponding O-graphs exceeds the limit. Hence, O-graph simulator
displays neither O-graphs nor relevant reports. The nature of the
problem is such that some of the markings can be omitted by defining
the steps of concurrently executed transitions.

Our question is how to define a step of simultaneously occuring
transitions in design/CPN tool to skip unwanted markings-nodes in
resulting O-graphs. It should be mentioned that OE-graphs are not much
useful for such analysis since our colored Petri nets do not contain
any cycle.

We would appreciate if somebody can help us.

Thank you in advance for your sugessions.

Huseyin Lort