Grafický editor návrhových modelů

Abstract

Cílem této práce byl návrh a vývoj uživatelsky přívětivého grafického editoru Objektově orientovaných Petriho sítí (OOPN). Pro popis tohoto formalismu je použit jazyk PNtalk, který spojuje Petriho sítě s objektově orientovaným jazykem Smalltalk. Výsledná aplikace má uživatelům umožnit modelování objektů a jejich chování za pomocí OOPN a simulování přímo v editoru.

The target of this thesis was a design and a development of an user friendly graphical editor of Object oriented Petri nets (OOPN). For description of this formalism was used PNtalk language, which combines Petri nets with the object oriented language Smalltalk. The resulting application should allow users to design object and their behaviour via OOPN and simulate directly in the editor.