X-Recipient:	archive-cygwin AT delorie DOT com
DKIM-Filter:	OpenDKIM Filter v2.11.0 sourceware.org 8C7BB38708A4
DKIM-Signature:	v=1; a=rsa-sha256; c=relaxed/relaxed; d=cygwin.com;
	s=default; t=1595354124;
	bh=4tBidoB81XNuFcPw5r28JKlo7ZILvgLgVmASRdMvHvY=;
	h=References:In-Reply-To:Date:Subject:To:List-Id:List-Unsubscribe:
	List-Archive:List-Post:List-Help:List-Subscribe:From:Reply-To:Cc:
	From;
	b=ms5NSOqwr9uv/2cyGNORZQ1/heWFxJ65A+v9t9Fmbs39ibSEW+ZXeEPIxm6eXYBqV
	F95sqolaVoacVlNPC4x1SoipgHzr60onB4zhfSYKh78DuF0JGGAumuMA9RfxDOAmvY
	pXh6jSDjz2PYYwWOF/K+DZEQ9AGeUf9dzppoydM4=
X-Original-To:	cygwin AT cygwin DOT com
Delivered-To:	cygwin AT cygwin DOT com
DMARC-Filter:	OpenDMARC Filter v1.3.2 sourceware.org 11B363857C46
X-Google-DKIM-Signature:	v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=1e100.net; s=20161025;
	h=x-gm-message-state:mime-version:references:in-reply-to:from:date
	:message-id:subject:to:cc:content-transfer-encoding;
	bh=wBHHo7RVat7eiAhzXRvX6pe+DNkMop0srqdRpRlqcGs=;
	b=ZDo/blePKeR0Ukg1qLy6DdCo+/vTtMLAQVZz9RJeFDzeZf+504/4G1UBGxiYh7ej9Q
	qfh426TUsWQxSYn7JweRZ1GgPe6RijhrrN15AQ/Y9ByuQGJ+/XknEpxnWEVstJT9ei0u
	+q20NV1Aac5DsjPYP4s3YwJlUzJ5dk8CpJ/O9KkzQPm3eQ/fd9ZbvtSW71sjoavUo/aZ
	H9XepYIFiN/uqn69UC0bUV6t61TA+TtLE+/XHjDCIaT2oVf0L4arzhnN6AcDUPltuvdl
	PlaMjl9hiLyXBBCgfiCcB/PrdR7QAVG9ZpkaLiU7jV/X8QUKIcGIrBXPUM0lBEDzFbjC
	QFww==
X-Gm-Message-State:	AOAM531tmkuLnhUi1eu/UWXk1oQRN41WV0Dvqt5znH8NfnSaqzQ0C2HC
	N4pzfc8Q+UHVUoIIEZRV/Mli7fKPa3S8twA8GqAx5ebt
X-Google-Smtp-Source:	ABdhPJwhdt5fwQfKwZC5Ne9AruqCBF9IeIFF9urKrL7ymNH0CXHk4w3aCy3jBuC8fMcCvxsP5X0dssQ72+0hSBc3T0w=
X-Received:	by 2002:a7b:cc91:: with SMTP id p17mr5365395wma.90.1595354121000;
	Tue, 21 Jul 2020 10:55:21 -0700 (PDT)
MIME-Version:	1.0
References:	<CAEo_dQLXCMjhwUOQmkA8Rmt9ZTy1AuDVdZP6kz2ZJ9wy+tUNqw AT mail DOT gmail DOT com>
In-Reply-To:	<CAEo_dQLXCMjhwUOQmkA8Rmt9ZTy1AuDVdZP6kz2ZJ9wy+tUNqw@mail.gmail.com>
Date:	Tue, 21 Jul 2020 19:55:09 +0200
Message-ID:	<CAEhDDbDmbwHniPgJS6PeNHXR4VYxL24Q=d3TJ9jtumA+o07RCg@mail.gmail.com>
Subject:	Re: help
To:	Birane Koundoul <birane DOT koundoul AT uadb DOT edu DOT sn>
X-Spam-Status:	No, score=-1.1 required=5.0 tests=BAYES_00, DKIM_SIGNED,
	DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, RCVD_IN_DNSWL_NONE,
	SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version:	SpamAssassin 3.4.2 (2018-09-13) on
	server2.sourceware.org
X-BeenThere:	cygwin AT cygwin DOT com
X-Mailman-Version:	2.1.29
List-Id:	General Cygwin discussions and problem reports <cygwin.cygwin.com>
List-Archive:	<https://cygwin.com/pipermail/cygwin/>
List-Post:	<mailto:cygwin AT cygwin DOT com>
List-Help:	<mailto:cygwin-request AT cygwin DOT com?subject=help>
List-Subscribe:	<http://cygwin.com/mailman/listinfo/cygwin>,
	<mailto:cygwin-request AT cygwin DOT com?subject=subscribe>
From:	Csaba Raduly via Cygwin <cygwin AT cygwin DOT com>
Reply-To:	Csaba Raduly <rcsaba AT gmail DOT com>
Cc:	cygwin list <cygwin AT cygwin DOT com>
Sender:	"Cygwin" <cygwin-bounces AT cygwin DOT com>
X-MIME-Autoconverted:	from base64 to 8bit by delorie.com id 06LHtmAE002952

Hi Birane,

On Tue, 21 Jul 2020 at 18:50, Birane Koundoul  wrote:
>
> Hello I have a model with the petri net (I use cpn tools 4.0) but it
> sometimes shows me errors like:
>
>    1. Error! exception subscript raised when checking enabling
>    2. cannot bind variable ... from large color-set ............
>    3. un-bound variable in output arc
>
> and what bothers me the most is that when I run the simulation, it executes
> the queries but at some point it stops and yet queries are available.
> Sincerely
> *                            Birane Koundoul *
> Ingénieur en Informatique (système d'Information)

What is your Cygwin question?
Csaba
-- 
You can get very substantial performance improvements
by not doing the right thing. - Scott Meyers, An Effective C++11/14 Sampler
So if you're looking for a completely portable, 100% standards-conformant way
to get the wrong information: this is what you want. - Scott Meyers (C++TDaWYK)
--
Problem reports:      https://cygwin.com/problems.html
FAQ:                  https://cygwin.com/faq/
Documentation:        https://cygwin.com/docs.html
Unsubscribe info:     https://cygwin.com/ml/#unsubscribe-simple

- Raw text -