CPN-AMI PETRI NETTE GEBASEERDE CASE-MILIEU
Download nu

CPN-AMI Rangschikking & Samenvatting

CPN-AMI Tags

controleren modderer Petrischet check Petrinet Petrinet simulatie Petri Net Modeler

CPN-AMI Beschrijving

Petri Net Case Milieu CPN-AMI biedt functies zoals modelleringsfaciliteiten, modelcontrole, simulatie en berekening van structurele eigenschappen. CPN-AMI-groepen samen Veel gereedschappen die geschikt zijn voor Petri Net-modellering en verificatie.CPN-AMI worden intern gebruikt in tal van projecten of casestudy's voor de verificatie van parallelle systemen. CPN-AMI is ook een ondersteuning voor het onderwijzen van Petri Net Theory (postdoctorale studenten, zomerschool, enz.) Opmerking: CPN-AMI heeft geen licentie voor gebruik in educatieve en niet-pro? T-organisaties. Wat is er nieuw in deze release: · Het corrigeert verschillende kleine bugs in het distributiesysteem (problemen met sommige Linux-distributies zoals Ubuntu), · PNITS, een nieuwe variant van PNSDD op basis van de nieuwe (intatibele transvisionatiesystemen) Bibliotheek.

CPN-AMI Gerelateerde software