Back to search

Ing. Jiří Engliš

Master's thesis

Výpočet stavového prostoru podtřídy barvené Petriho sítě

Computation of the state space of a subclass of coloured Petri nets
Abstract:
Práce se zabývá problematikou architektury simulačních modelů ABAsim a problematikou Pertiho sítí, zvláště podtřídy barvené Petriho sítě zvané ABA-CPN. Dále se zabývá popisem aplikace vyvinuté pro výpočet stavového prostoru této podtřídy barvených Petriho sítí.
Abstract:
The thesis deals with the ABAsim architecture of simulation models and Petri nets, especially a subclass of coloured Petri net called ABA-CPN. It also explains the application that was designed for computing the state space of this coloured Petri net subclass.
 

Keywords

ABAsim Petriho síť ABA-CPN stavový prostor
 
Language used: Czech
Date on which the thesis was submitted / produced: 20. 5. 2011

Thesis defence

  • Date of defence: 20. 6. 2011
  • Supervisor: prof. Ing. Antonín Kavička, Ph.D.

Citation record

Cite this text
The right form of listing the thesis as a source quoted

Engliš, Jiří. Výpočet stavového prostoru podtřídy barvené Petriho sítě. Pardubice, 2011. diplomová práce (Ing.). Univerzita Pardubice. Fakulta elektrotechniky a informatiky

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • no one
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Univerzita Pardubice, Fakulta elektrotechniky a informatiky
https://portal.upce.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=14050 Reference to the local database file of the institution

University of Pardubice

Faculty of Electrical Engineering and Informatics

Master programme / field:
Information Technology / Information Technology

Theses on a related topic

List of theses with an identical keyword.