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
Češka Milan, Prof. RNDr., CSc. (DCSE FEECS BUT)
Urbášek Milan, Ing. (DCSE FEECS BUT)
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"
}
Back to top