CPN-AMI

to get instant updates about 'CPN-AMI' on your MyPage. Meet other similar minded people. Its Free!

X 

All Updates


Description:
CPN-AMI is a computer-aided software engineering environment based on Petri Net specifications. It allows to specify the behavior of a distributed system and the to evaluate properties on it such as invariants (preservation of resources), absence of deadlocks, liveness or temporal logic properties (relations between events in the system).

CPN-AMI relies on AMI-Nets, that are Well Formed Petri Net with syntactic facilities. Well Formed Petri Nets were jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s. This Petri Net class is of interest since it enables the use of symbolic techniques for model checking and thus allow a very compressed way to store all the states of a system.

See also



External links

  • .





Read More

No feeds found

All
Posting your question. Please wait!...


No updates available.
No messages found
Suggested Pages
Tell your friends >
about this page
 Create a new Page
for companies, colleges, celebrities or anything you like.Get updates on MyPage.
Create a new Page
 Find your friends
  Find friends on MyPage from