Matches in DBpedia 2014 for { <http://dbpedia.org/resource/CPN-AMI> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- CPN-AMI abstract "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 Nets 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.".
- CPN-AMI wikiPageExternalLink ami-net.html.
- CPN-AMI wikiPageExternalLink cpn-ami.
- CPN-AMI wikiPageID "1870284".
- CPN-AMI wikiPageRevisionID "508897010".
- CPN-AMI hasPhotoCollection CPN-AMI.
- CPN-AMI subject Category:Formal_methods_tools.
- CPN-AMI subject Category:Integrated_development_environments.
- CPN-AMI subject Category:Petri_nets.
- CPN-AMI type Artifact100021939.
- CPN-AMI type ComputerNetwork103085333.
- CPN-AMI type FormalMethodsTools.
- CPN-AMI type Implement103563967.
- CPN-AMI type Instrumentality103575240.
- CPN-AMI type Internet103580615.
- CPN-AMI type Network103820728.
- CPN-AMI type Object100002684.
- CPN-AMI type PetriNets.
- CPN-AMI type PhysicalEntity100001930.
- CPN-AMI type System104377057.
- CPN-AMI type Tool104451818.
- CPN-AMI type Whole100003553.
- CPN-AMI comment "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 Nets with syntactic facilities.".
- CPN-AMI label "CPN-AMI".
- CPN-AMI sameAs m.062ksf.
- CPN-AMI sameAs Q5013672.
- CPN-AMI sameAs Q5013672.
- CPN-AMI sameAs CPN-AMI.
- CPN-AMI wasDerivedFrom CPN-AMI?oldid=508897010.
- CPN-AMI isPrimaryTopicOf CPN-AMI.