Petri nets and bisimulation

Mogens Nielsen; Glynn Winskel

doi:10.1016/0304-3975(95)00122-0

Petri nets and bisimulation

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Abstract

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.

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	153
Nummer	1-2
Sider (fra-til)	211-244
ISSN	0304-3975
DOI	https://doi.org/10.1016/0304-3975(95)00122-0
Status	Udgivet - 1996

Adgang til dokumentet

10.1016/0304-3975(95)00122-0

Citationsformater

@article{2fd4f280f16511dfa891000ea68e967b,

title = "Petri nets and bisimulation",

abstract = "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.",

author = "Mogens Nielsen and Glynn Winskel",

note = "Also published in the BRICS Research Series as RS-95-4",

year = "1996",

doi = "10.1016/0304-3975(95)00122-0",

language = "English",

volume = "153",

pages = "211--244",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier BV",

number = "1-2",

}

TY - JOUR

T1 - Petri nets and bisimulation

AU - Nielsen, Mogens

AU - Winskel, Glynn

N1 - Also published in the BRICS Research Series as RS-95-4

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

U2 - 10.1016/0304-3975(95)00122-0

DO - 10.1016/0304-3975(95)00122-0

M3 - Journal article

SN - 0304-3975

VL - 153

SP - 211

EP - 244

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-2

ER -

Petri nets and bisimulation

Abstract

Adgang til dokumentet

Fingeraftryk

Citationsformater