文章基本信息

标题：A Comparison of Petri Net Semantics under the Collective Token Philosophy
本地全文：下载
作者：Roberto Bruni ; José Meseguer ; Ugo Montanari 等
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1998
卷号：5
期号：17
出版社：Aarhus University
摘要：In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent transition systems, and (strictly) symmetric (strict) monoidal categories. We use the notion of adjunction to express each connection. We also present a purely logical description of the collective token interpretation of net behaviours in terms of theories and theory morphisms in partial membership equational logic.