Thread View: pl.comp.lang.funkcyjne
3 messages
3 total messages
Started by Artur Siekielski
Tue, 28 Feb 2006 11:02
Symulator i model checker Hipersieci
Author: Artur Siekielski
Date: Tue, 28 Feb 2006 11:02
Date: Tue, 28 Feb 2006 11:02
7 lines
1073 bytes
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 :).
Re: Symulator i model checker Hipersieci
Author: Adam Przybyla
Date: Tue, 28 Feb 2006 11:54
Date: Tue, 28 Feb 2006 11:54
11 lines
1498 bytes
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
Re: Symulator i model checker Hipersieci
Author: Artur Siekielski
Date: Tue, 28 Feb 2006 11:57
Date: Tue, 28 Feb 2006 11:57
15 lines
1456 bytes
1456 bytes
wtorek, 28 lut, Adam Przybyla: > 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;-) Licencja to GPL, ale fakt, że informacja jest chyba tylko na stronie, nie ma w źródłach... Pozdrawiam!
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads