位置/变迁系统中的抽象过程和冲突
Abstract Processes and Conflicts in Place/Transition Systems
摘要：
对于单安全Petri网或条件/事件系统，卡尔·亚当·Petri定义的过程提供了一个系统运行的概念，其中因果依赖关系反映在偏序方面。Goltz和Reisig通过根据因果历史区分标记，将这一概念推广到了位置携带多个标记的网络中。然而，这种所谓的个体令牌解释通常被认为过于详细。在这里，我们确定了一个子类的Petri网，称为结构冲突网，其中没有相互作用的冲突和并发性，由于令牌的多样性发生。对于这个子类，我们定义抽象过程的等价类的Goltz-Reisig过程。我们证明了这种方法，有一个最大的抽象过程，当且仅当底层网络是无冲突的规范概念的冲突。
英文摘要：
For one-safe Petri nets or condition/event-systems, a process as defined by Carl Adam Petri provides a notion of a run of a system where causal dependencies are reflected in terms of a partial order. Goltz and Reisig have generalised this concept for nets where places carry multiple tokens, by distinguishing tokens according to their causal history. However, this so-called individual token interpretation is often considered too detailed. Here we identify a subclass of Petri nets, called structural conflict nets, where no interplay between conflict and concurrency due to token multiplicity occurs. For this subclass, we define abstract processes as equivalence classes of Goltz-Reisig processes. We justify this approach by showing that there is a largest abstract process if and only if the underlying net is conflict-free with respect to a canonical notion of conflict.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
