Detail publikace

Reasoning about Categories of Petri Nets

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

Originální název

Reasoning about Categories of Petri Nets

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální 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.

Klíčová slova

Category theory, Petri nets

Autoři

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

Vydáno

1. 1. 2000

Nakladatel

University of Stirling

Místo

Edinburgh, Scotland

ISBN

1-85-769121-0

Kniha

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

Strany od

67

Strany do

70

Strany počet

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