X-Recipient:	archive-cygwin AT delorie DOT com
DKIM-Filter:	OpenDKIM Filter v2.11.0 sourceware.org 68FC438708FF
DKIM-Signature:	v=1; a=rsa-sha256; c=relaxed/relaxed; d=cygwin.com;
	s=default; t=1595354367;
	bh=+scBpJJSN9GgGrKMMo1h1ZxO8awfXfRZ1enySsxGh6M=;
	h=Subject:To:References:Date:In-Reply-To:List-Id:List-Unsubscribe:
	List-Archive:List-Post:List-Help:List-Subscribe:From:Reply-To:
	From;
	b=DYJAHmXMvVf6nkIEqYfDrAO7mYbBwIuIjZzLXUPyM57kQUQmEU3ELBu3Nqe42iEgl
	X1sXTKGBrS+2ux+VxdXchXFB0aNgXhBItcyXVycCbBJL4XeCU15MQxqohsolJc4bud
	4qbmWD0iTX7ltLwP/qs3Jk2aI7Kbr1vuNjcNR4EU=
X-Original-To:	cygwin AT cygwin DOT com
Delivered-To:	cygwin AT cygwin DOT com
DMARC-Filter:	OpenDMARC Filter v1.3.2 sourceware.org 3B1583857C78
X-Google-DKIM-Signature:	v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=1e100.net; s=20161025;
	h=x-gm-message-state:subject:to:references:from:message-id:date
	:user-agent:mime-version:in-reply-to:content-language
	:content-transfer-encoding;
	bh=biVhVZFJQfxOD7naJF/IP+zQLS+GUApjmcUKhrz2Lwg=;
	b=Flyg++TxQQZKyIPmGXP0fBFmN0rIRnhP5CiZgAg3sw2znrg35HYeYeOYhnaOvyrqJc
	kIdAkrWqG/R1JOhcyqo/Xq8TtDzprha0HUs2Ixx/EOhr6rV0iC3oLisBNQGxVznbldNk
	Vu6+EZa/AODMYBoz/H+3C1dZlLu9FYwIiarGy7IUboikbgtAEF9wO5FrwU38t0YWbnn4
	V8iRNloAgJYuOp48U5TAN78+OmvgpAjAczO0op6UBlff1sMwATcJVWtH7c2FkkO7KL0Y
	/DrSmQoXtV/4e53QrI01COqXV0zzNEB1yBWqK3+gtqO3GLYOD1ql30h7c/IhblnyRpMf
	J8sA==
X-Gm-Message-State:	AOAM530b4DJ8GgCsEoTlJJpiNVNKDvUpsVXy8jlEbWq1kjGZO4ldNRk2
	S0sJJgRIZ35r6e3TcaDZtYqnmCnJKGY=
X-Google-Smtp-Source:	ABdhPJwW2lUCFjHsZkeXYEW/PvuXQo6pY8FspeyQs/NNmuFV/KREaQWUWiX08/PNEW3y5h2vpFqZVA==
X-Received:	by 2002:aa7:d4d2:: with SMTP id t18mr26509009edr.166.1595354363991;
	Tue, 21 Jul 2020 10:59:23 -0700 (PDT)
Subject:	Re: help
To:	Birane Koundoul <birane DOT koundoul AT uadb DOT edu DOT sn>, cygwin AT cygwin DOT com
References:	<CAEo_dQLXCMjhwUOQmkA8Rmt9ZTy1AuDVdZP6kz2ZJ9wy+tUNqw AT mail DOT gmail DOT com>
Message-ID:	<ddc8b69c-98bd-a54a-111a-3dcbe98a3a1e@gmail.com>
Date:	Tue, 21 Jul 2020 19:59:23 +0200
User-Agent:	Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101
	Thunderbird/68.10.0
MIME-Version:	1.0
In-Reply-To:	<CAEo_dQLXCMjhwUOQmkA8Rmt9ZTy1AuDVdZP6kz2ZJ9wy+tUNqw@mail.gmail.com>
X-Spam-Status:	No, score=-1.7 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-Unsubscribe:	<http://cygwin.com/mailman/options/cygwin>,
	<mailto:cygwin-request AT cygwin DOT com?subject=unsubscribe>
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:	Marco Atzeri via Cygwin <cygwin AT cygwin DOT com>
Reply-To:	Marco Atzeri <marco DOT atzeri AT gmail DOT com>
Errors-To:	cygwin-bounces AT cygwin DOT com
Sender:	"Cygwin" <cygwin-bounces AT cygwin DOT com>

On 21.07.2020 18:47, 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 *

Hi Birane,

https://www.chiark.greenend.org.uk/~sgtatham/bugs.html

I do not find any cpn tools on the cygwin available packages:

https://cygwin.com/packages/package_list.html

so if you want our support, you need to be a bit more specific

and provide us a way to replicate your problem.


Regards
Marco


--
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 -