Detail publikace

Categorical approach to Petri nets transformations

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

Originální název

Categorical approach to Petri nets transformations

Typ

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

Jazyk

angličtina

Originální abstrakt

The aim of this paper is to introduce the idea of comprehension of Petri nets and another related state-oriented models using the categorical approach to link the different models together.

Klíčová slova

Categories, Petri nets transformations, transition systems, functors

Autoři

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

Vydáno

1. 1. 1999

Místo

Rožnov pod Radhoštěm, CZ

ISBN

80-85988-32-1

Kniha

Proceedings of the 33rd Spring International Conference MOSIS'99

Strany od

133

Strany do

140

Strany počet

8

URL

http://www.fit.vutbr.cz/~urbasek/Publikace/mosis99.ps.gz

BibTex

@inproceedings{BUT191506,
  author="Milan {Urbášek} and Milan {Češka}",
  title="Categorical approach to Petri nets transformations",
  booktitle="Proceedings of the 33rd Spring International Conference MOSIS'99",
  year="1999",
  pages="133--140",
  address="Rožnov pod Radhoštěm, CZ",
  isbn="80-85988-32-1",
  url="http://www.fit.vutbr.cz/~urbasek/Publikace/mosis99.ps.gz"
}