Report

URBÁŠEK Milan. Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets. Huddersfield, Great Britain: unknown, 1999.
Publication language:english
Original title:Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets
Pages:77
Place:Huddersfield, Great Britain, GB
Year:1999
Keywords
Petri net, process algebras, CCS, bisimulation, category, translation algorithm.
Abstract
Process algebras like CCS and Petri nets are models of parallel systems. Both are widely used in modelling and simulation and both have been deeply developed by many researchers. Both models have a lot in common and usually you can find a description of a system expressed in both formalism. But the analysis techniques are sharply different. The Petri net followed the ideas of liveness and invariants. The CCS analysis techniques are based on the notion of bisimilarity of process behaviour. This work is focused on the concept of bringing this different approaches closed together in order to show, what can be transferred from one theory to another to enrich the analysis of concurrent systems.
BibTeX:
@TECHREPORT{
   author = {Milan Urb{\'{a}}{\v{s}}ek},
   title = {Bisimulation relations in categories of A-labelled Petri
	nets and the connection of CCS and Petri nets},
   pages = {77},
   year = {1999},
   location = {Huddersfield, Great Britain, GB},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6533}
}

Your IPv4 address: 54.81.6.121
Switch to IPv6 connection

DNSSEC [dnssec]