Publication detail

Reasoning about Categories of Petri Nets

URBÁŠEK, M. ČEŠKA, M.

Original Title

Reasoning about Categories of Petri Nets

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

Category theory, Petri nets

Authors

URBÁŠEK, M.; ČEŠKA, M.

Released

1. 1. 2000

Publisher

University of Stirling

Location

Edinburgh, Scotland

ISBN

1-85-769121-0

Book

Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems

Pages from

67

Pages to

70

Pages count

4

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"
}