翻訳と辞書 Words near each other ・ CQD ・ CQF ・ CQG ・ CQI ・ CQL ・ CPM S30V steel ・ CPM-GOMS ・ CPMA ・ CPMP ・ CPMulator ・ CPN ・ CPN Cudis ・ CPN Radio ・ CPN Tools ・ CPN(ML) ・ CPN-AMI ・ CPN1 ・ CPN2 ・ CPNB ・ CPNE1 ・ CPNE4 ・ CPNE6 ・ CPNE8 ・ CPNI ・ CPNT ・ CPO ・ CPO (group) ・ CPO Boss Hogg (rapper) ・ CPO command identification badge ・ CPO-STV Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク CPN-AMI ： ウィキペディア英語版 CPN-AMI 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 then 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. == See also == *Well-formed Petri net *Petriscript 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「CPN-AMI」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.