CPN-verktyg

CPN Tools är ett verktyg för att redigera, simulera och analysera Petri-nät på hög nivå . Den stöder grundläggande petrinät plus tidsinställda petrinät och färgade petrinät . Den har en simulator och ett verktyg för tillståndsrymdanalys ingår.

CPN Tools är ursprungligen utvecklat av CPN Group vid Aarhus Universitet från 2000 till 2010. Huvudarkitekterna bakom verktyget är Kurt Jensen , Søren Christensen, Lars M. Kristensen och Michael Westergaard. Från och med hösten 2010 överförs CPN Tools till AIS-gruppen, Eindhoven University of Technology, Nederländerna.

CPN Tools består av två huvudkomponenter, en grafisk editor och en backend-simulatorkomponent. Den grafiska editorn är skriven på det akademiska språket, BETA , och simulatorns backend är skriven i Standard ML- varianten SML/NJ .

externa länkar

• cpntools.org CPN-verktyg