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>
Content-Type: text/plain; charset="utf-8"
Sender: "Cygwin" <cygwin-bounces AT cygwin DOT com>
Content-Transfer-Encoding: 8bit
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