Conference paper

ČEŠKA Milan and URBÁŠEK Milan. Reasoning about Categories of Petri Nets. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh, Scotland: University of Stirling, 2000, pp. 67-70. ISBN 1-85-769121-0.
Publication language:english
Original title:Reasoning about Categories of Petri Nets
Pages:67-70
Proceedings:Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems
Conference:IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Place:Edinburgh, Scotland, GB
Year:2000
ISBN:1-85-769121-0
Publisher:University of Stirling
Keywords
Category theory, Petri nets
Annotation
The main aim of this paper is to compare different approaches to Petri net categories and their usefulness for different purposes in mathematics and computer science.
Abstract
The main aim of this paper is to compare different approaches to Petri net categories and their usefulness for different purposes in mathematics and computer science. Another point of this work is to discuss the state of the art in the research area of categories of Petri nets and to lay a foundation for further development of bisimulation relations in categories of Petri nets relevant to CCS and transition systems
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Milan Urb{\'{a}}{\v{s}}ek},
   title = {Reasoning about Categories of Petri Nets},
   pages = {67--70},
   booktitle = {Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1
	Workshop - Joint Workshop on Formal Specifications of
	Computer-Based Systems},
   year = {2000},
   location = {Edinburgh, Scotland, GB},
   publisher = {University of Stirling},
   ISBN = {1-85-769121-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6537}
}

Your IPv4 address: 54.196.33.246
Switch to IPv6 connection

DNSSEC [dnssec]