Narzędzia CPN

CPN Tools to narzędzie do edycji, symulacji i analizowania sieci Petriego wysokiego poziomu . Obsługuje podstawowe sieci Petriego oraz czasowe sieci Petriego i kolorowe sieci Petriego . Posiada symulator i dołączone jest narzędzie do analizy przestrzeni stanów.

Narzędzia CPN zostały pierwotnie opracowane przez grupę CPN na Uniwersytecie w Aarhus w latach 2000–2010. Głównymi architektami narzędzia są Kurt Jensen , Søren Christensen, Lars M. Kristensen i Michael Westergaard. Od jesieni 2010 roku CPN Tools zostaje przeniesiony do grupy AIS, Eindhoven University of Technology , Holandia.

CPN Tools składa się z dwóch głównych komponentów, edytora graficznego i komponentu symulatora zaplecza. Edytor graficzny napisany jest w języku akademickim BETA , a zaplecze symulatora w wariancie Standard ML SML/NJ .

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=CPN_Tools&oldid=927182299 ”