Publication Details
Reasoning about Categories of Petri Nets
Č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.
Type
conference paper
Language
english
Authors
Keywords
Category theory, Petri nets
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.
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. 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
Published
2000
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, Napier University, Edinburgh, Scotland, GB
ISBN
1-85-769121-0
Publisher
University of Stirling
Place
Edinburgh, Scotland, GB
BibTeX
@INPROCEEDINGS{FITPUB6537, 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 = "https://www.fit.vut.cz/research/publication/6537" }