Publication detail

Categories in Modelling

URBÁŠEK, M.

Original Title

Categories in Modelling

Type

article in a collection out of WoS and Scopus

Language

English

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.

Keywords

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

Authors

URBÁŠEK, M.

Released

1. 1. 2000

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

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",
  address="Rožnov pod Radhoštěm",
  isbn="80-85988-44-5",
  url="http://www.fit.vutbr.cz/~urbasek/Publikace/mosis2000.ps.gz"
}