Publication detail

Categorical approach to Petri nets transformations

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

Original Title

Categorical approach to Petri nets transformations

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

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.

Keywords

Categories, Petri nets transformations,transition systems, functors

Authors

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

Released

1. 1. 1999

Publisher

Marq software s.r.o.

Location

Rožnov pod Radhoštěm, CZ

ISBN

80-85988-32-1

Book

Proceedings of the 33rd Spring International Conference MOSIS'99

Pages from

133

Pages to

140

Pages count

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",
  publisher="Marq software s.r.o.",
  address="Rožnov pod Radhoštěm, CZ",
  isbn="80-85988-32-1",
  url="http://www.fit.vutbr.cz/~urbasek/Publikace/mosis99.ps.gz"
}