文章基本信息

标题：Petri Nets and Bisimulations
本地全文：下载
作者：Mogens Nielsen ; Glynn Winskel
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1995
卷号：2
期号：4
出版社：Aarhus University
摘要：Several categorical relationships (adjunctions) between models for concurrency have been established, allowing the translation of concepts and properties from one model to another. A central example is a coreflection between Petri nets and asynchronous transition systems. The purpose of the present paper is to illustrate the use of such relationships by transferring to Petri nets a general concept of bisimulation.