Coloured Petri Nets
Coloured Petri Nets
复制标题
DOI：
10.1007/978-3-662-03241-1
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
K. Jensen
中科院分区：
文献类型：
--
作者：
K. Jensen
动态特性表征了各个CP网络的行为，例如，是否有可能达到没有步骤的标记。验证动态属性通常是相当困难的，特别是当仅依赖于非正式参数时。然而，在Chap。5我们将介绍一些形式分析方法，可以用来证明动态特性。这些分析方法的细节将是第二卷的主要内容。静态属性可以从单个CP网的定义中确定，而不考虑可能的出现顺序。静态性质的主要目的是刻画CP-网的子类具有良好的特性。然而，静态特性的研究是少数几个领域之一，在这些领域中，来自低级网络的知识和经验尚未充分转移到高级网络。
Dynamic properties characterize the behaviour of individual CP-nets, eg, whether it is possible to reach a marking in which no step is enabled. It is often rather difficult to verify dynamic properties-in particular when relying only on informal arguments. However, in Chap. 5 we shall introduce a number of formal analysis methods which can be used to prove dynamic properties. The details of these analysis methods will be the prime contents of Vol. 2. Static properties can be decided from the definition of individual CP-nets without considering the possible occurrence sequences. The main purpose of static properties is to characterize subclasses of CP-nets with nice characteristics. The study of static properties is, however, one of the rather few areas in which the knowledge and experience from low-level nets have not yet been adequately transferred to high-level nets.