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>
Content-Language: it
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
Precedence: list
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>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
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