Publication result detail

Categorical approach to Petri nets transformations

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

Original Title

Categorical approach to Petri nets transformations

English Title

Categorical approach to Petri nets transformations

Type

Paper in proceedings outside WoS and Scopus

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.

English 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

Key words in English

Categories, Petri nets transformations,transition systems, functors

Authors

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

Released

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