A marked Petri net is lucent if there are no two different reachable markings enabling the same set of transitions, i.e., states are fully characterized by the transitions they enable. Characterizing the class of systems that are lucent is a foundational and also challenging question. However, little research has been done on the topic. In this paper, it is shown that all free-choice nets having a home cluster are lucent. These nets have a so-called home marking such that it is always possible to reach this marking again. Such a home marking can serve as a regeneration point or as an end-point. The result is highly relevant because in many applications, we want the system to be lucent and many well-behaved process models fall into the class identified in this paper. Unlike previous work, we do not require the marked Petri net to be live and strongly connected. Most of the analysis techniques for free-choice nets are tailored towards well-formed nets. The approach presented in this paper provides a novel perspective enabling new analysis techniques for free-choice nets that do not need to be well-formed. Therefore, we can also model systems and processes that are terminating and/or have an initialization phase.
翻译：如果没有两种不同的可达到标记,从而能够实现相同的过渡,即国家完全具有它们所促成的转变的特征,那么,一个有标记的Petrii网就显得很滑稽。 确定无标记的系统类别是一个基础问题,也是具有挑战性的问题。 但是,对这个专题的研究很少。 本文显示,所有具有家庭集群的免费选择网都是润滑的。 这些蚊帐有一个所谓的家用标记,因此总是有可能再次达到这一标记。 这样的家用标记可以作为再生点或终点。 其结果非常相关, 因为在许多应用中,我们希望系统是润滑的,许多行为良好的过程模型都属于本文所确定的类别。 与以前的工作不同, 我们并不要求标记的Petrii网能够正常运行和紧密地连接。 大部分免费选择网的分析技术都是针对完善的蚊帐的。 本文中介绍的方法提供了一种新的视角, 使得对不需要完善的免费选择网进行新的分析技术。 因此, 我们还可以进行模型化和进程, 并正在结束一个阶段/ 。
相关内容
微信扫码咨询专知VIP会员