CPN-AMI

Petri net based CASE environment
Download

CPN-AMI Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Price:
  • FREE
  • Publisher Name:
  • CPN-AMI Team
  • Publisher web site:
  • http://move.lip6.fr/software/CPNAMI/index.html
  • Operating Systems:
  • Mac OS X 10.3 or later
  • File Size:
  • 55.1 MB

CPN-AMI Tags


CPN-AMI Description

Petri net based CASE environment CPN-AMI offers functions such as modeling facilities, model checking, simulation and computation of structural properties.CPN-AMI groups together many tools suitable for Petri net modeling and verification.CPN-AMI is used internally in numerous projects or case studies for the verification of parallel systems. CPN-AMI is also a support for the teaching of Petri net theory (postgraduate students, summer school, etc.).NOTE: CPN-AMI is licensed free of charge for use in educational and non-pro?t organizations. What's New in This Release: · It corrects several minor bugs in the distribution system (problems with some Linux distributions such as Ubuntu), · PNITS, a new variant of PNSDD based on the new ITS (Intatiable Transisition Systems) library.


CPN-AMI Related Software

About SoftwareSea