Symulator i model checker Hipersieci

Article View: pl.comp.lang.funkcyjne

Article #787

Back to pl.comp.lang.funkcyjne Previous Next

#787

From: Artur Siekielski
Date: Tue, 28 Feb 2006 11:02

7 lines
1073 bytes

Witam.

Na stronie http://manta.univ.gda.pl/~asiekiel/jhypernets/ został udostępniony
symulator Hipersieci Petriego, o którym pisałem w wątku "j. funkcyjne - jakie
zastosowania?". Ważna część narzędzia została zaimplementowana w Haskellu.
Jest pewien problem z wydajnością, tak więc jeżeli ktoś miałby chęć się temu
przyjrzeć, to bylibyśmy wdzięczni :).

Technical Details

Message-ID: <du1al2$n8k$1@opal.futuro.pl>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!opal.futuro.pl!not-for-mail

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!opal.futuro.pl!not-for-mail
From: Artur Siekielski <gruesome@REMOVEpoczta.onet.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Symulator i model checker Hipersieci
Date: Tue, 28 Feb 2006 11:02:58 +0000 (UTC)
Organization: Pro Futuro
Lines: 8
Message-ID: <du1al2$n8k$1@opal.futuro.pl>
NNTP-Posting-Host: 25-m.sm-rozstaje.pl
Mime-Version: 1.0
X-Trace: opal.futuro.pl 1141124578 23828 83.142.178.25 (28 Feb 2006 11:02:58 GMT)
X-Complaints-To: usenet@futuro.pl
NNTP-Posting-Date: Tue, 28 Feb 2006 11:02:58 +0000 (UTC)
User-Agent: slrn/0.9.8.1pl1 (Linux)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit