Detail publikace

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Urbášek Milan, Ing.
Češka Milan, prof. RNDr., CSc.
Klíčová slova

Category theory, Petri nets

Abstrakt

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.

Rok
2000
Strany
67–70
Sborník
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
Vydavatel
University of Stirling
Místo
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"
}
Nahoru