Publication Details

Reasoning about Categories of Petri Nets

URBÁŠEK, M.; ČEŠKA, M. Reasoning about Categories of Petri Nets. 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. p. 67-70. ISBN: 1-85-769121-0.
Type
conference paper
Language
English
Authors
Urbášek Milan, Ing.
Češka Milan, prof. RNDr., CSc.
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
ISBN
1-85-769121-0
Publisher
University of Stirling
Place
Edinburgh, Scotland
BibTeX 
@inproceedings{BUT191499,
  author="Milan {Urbášek} and Milan {Češka}",
  title="Reasoning about Categories of Petri Nets",
  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",
  pages="67--70",
  publisher="University of Stirling",
  address="Edinburgh, Scotland",
  isbn="1-85-769121-0"
}
Back to top