Publication result detail

Categories in Modelling

URBÁŠEK, M.

Original Title

Categories in Modelling

English Title

Categories in Modelling

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

The aim of this paper is to discuss possible use of category theory as a helpful formalism for certain problems involved in the area of modelling and simulation e.g categories of modelling languages and Petri nets.

English abstract

The aim of this paper is to discuss possible use of category theory as a helpful formalism for certain problems involved in the area of modelling and simulation e.g categories of modelling languages and Petri nets.

Keywords

Category theory, modelling, simulation language, bisimulation, Petri nets.

Key words in English

Category theory, modelling, simulation language, bisimulation, Petri nets.

Authors

URBÁŠEK, M.

Released

01.01.2000

Publisher

Marq software s.r.o.

Location

Rožnov pod Radhoštěm

ISBN

80-85988-44-5

Book

Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000

Pages from

21

Pages to

28

Pages count

8

URL

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

Full text in the Digital Library

http://hdl.handle.net/

BibTex

@inproceedings{BUT191497,
  author="Milan {Urbášek}",
  title="Categories in Modelling",
  booktitle="Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000",
  year="2000",
  pages="21--28",
  publisher="Marq software s.r.o.",
  address="Rožnov pod Radhoštěm",
  isbn="80-85988-44-5",
  url="http://www.fit.vutbr.cz/~urbasek/Publikace/mosis2000.ps.gz"
}