0
I Use This!
Activity Not Available
Analyzed 3 months ago. based on code collected 3 months ago.

Project Summary

CPN-AMI is a Petri net based CASE environment. It offers functions such as modelling facilities, simulation, model checking and computation of structural properties.

CPN-AMI groups together many tools suitable for Petri net modelling and verification. Some tools have been implemented in our laboratory, some other come from university partners at:

- Universities of Genova and Torino (some GreatSPN modules),
- Helsinki University of Technology (PROD),
-Bell Laboratories (dot),
- University Humbolt zu Berlin (LoLA),
- Technische Universität München (some PEP modules),
- Université Paris 13 (services based on the observation graph).
- Technische Universität Cottbus (reuse of IDD-MC)
- the Ohio State University (reuse of tool PaToH)

Tags

No tags have been added

In a Nutshell, CPN-AMI...

Quick Reference

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
Ada
43%
Autoconf
23%
C
15%
11 Other
19%

30 Day Summary

Oct 29 2017 — Nov 28 2017

12 Month Summary

Nov 28 2016 — Nov 28 2017
  • 0 Commits
    Down -1 (100%) from previous 12 months
  • 0 Contributors
    Down -1 (100%) from previous 12 months

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!