🚀 go-pugleaf

On Sun, 14 Mar 1999 18:42:43 +0100, "Rafal Smotrzyk" <rav@smo3k.z.pl>
wrote:

>
>Andrzej Lewandowski wrote in message
><36eb17fd.1620870@news-s01.ny.us.ibm.net>...
>>Do ukladow rozproszonych nie ma (nie mam?...) zreszta dobrej notacji
>>projektowej. Ja uzywam dosyc pokretnej notacji zwanej UNITY (Chandry &
>Proponuje zapoznanie sie z sieciami Petri oraz ich pochodna, sieciami
>funkcjonalnymi.
>Wspolbieznosc, czas, procesy, stany, dane etc. sa ich glownymi elementami.
>Gdy
>tworze rozwiazania "rownolegle" czesto mysle o nich wlasnie w kategoriach
>sieci
>funkcjonalnych - pomaga :-)


Sieci Petri znam lepiej niz dobrze. Przyjemna ich strona jest to ze
umozliwaiaja definiowanie systemow poniekad "deklaratywnie".
Niestety, checha ujemna jest to ze nawet najprostsze algorytmy opisuja
sie przy pomocy strasznie zamotanych sieci. Opis bardziej
skomplikwoanych algorytmow jest praktycznie niemozliwy. Sieci Petri to
"jezyk asemblerowy" systemow rozproszonych. Kto dzis programuje w
asemblerze?... Na dodatek, prosze sprobowac wytlumaczyc moim
wspolpracownikom sieci Petri...

A.L.

P.S. Jest dobra ksiazka na ten temat, wyszla calkiem niedawno:
Elements of Distributed Algorithms: Modeling and Analysis With Petri
Nets, Wolfgang Reisig, Springer Verlag.