Re: Symulator i model checker Hipersieci

Article View: pl.comp.lang.funkcyjne

Article #788

Back to pl.comp.lang.funkcyjne Previous Next

#788

From: Adam Przybyla
Date: Tue, 28 Feb 2006 11:54

11 lines
1498 bytes

Artur Siekielski <gruesome@removepoczta.onet.pl> wrote:
> 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 :).
	... warto pomyslec o dodaniu jakies licencji, np. (L)GPL czy BSD;-)
Z powazaniem
								Adam Przybyla

Technical Details

Message-ID: <newscache$k1cevi$hje$1@gormenghast>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail

References: <du1al2$n8k$1@opal.futuro.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Adam Przybyla <adam@gliwice.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: Symulator i model checker Hipersieci
Date: Tue, 28 Feb 2006 11:54:28 +0000 (UTC)
Organization: tp.internet - http://www.tpi.pl/
Lines: 11
Sender: Adam Przybyla <adam@gormenghast.ertel.com.pl>
Message-ID: <newscache$k1cevi$hje$1@gormenghast>
References: <du1al2$n8k$1@opal.futuro.pl>
NNTP-Posting-Host: gormenghast.ertel.com.pl
Mime-Version: 1.0
X-Trace: nemesis.news.tpi.pl 1141127668 10196 195.116.54.244 (28 Feb 2006 11:54:28 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Tue, 28 Feb 2006 11:54:28 +0000 (UTC)
User-Agent: tin/1.8.1-20060215 ("Mealasta") (UNIX) (Linux/2.4.22-1.2199.nptl (i686))
X-NNTP-Posting-Host: gormenghast
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message