论文标题
具有标识符的培养皿网的正确性概念
Correctness Notions for Petri Nets with Identifiers
论文作者
论文摘要
信息系统的模型描述了其过程以及如何参与这些过程以操纵数据对象。本文介绍了适用于描述信息系统的Petri Nets形式主义的扩展名，在该信息中，指定预定义的类型和资源的对象实例被确定为特殊对象类型的实例。提出了针对资源和对象感知信息系统模型的几个正确性标准，并补充了有关其对有趣类别类别的可决定性的讨论。这些新的正确性标准可以看作是与过程控制流正确性有关的工作流模型的经典声音属性的概括。
A model of an information system describes its processes and how resources are involved in these processes to manipulate data objects. This paper presents an extension to the Petri nets formalism suitable for describing information systems in which states refer to object instances of predefined types and resources are identified as instances of special object types. Several correctness criteria for resource- and object-aware information systems models are proposed, supplemented with discussions on their decidability for interesting classes of systems. These new correctness criteria can be seen as generalizations of the classical soundness property of workflow models concerned with process control flow correctness.
