The modeling of logistics processes in agricultiral area using UML and Petri Nets

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62156489%3A43110%2F07%3A00113891" target="_blank" >RIV/62156489:43110/07:00113891 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Modelování logistických procesů v zemědělství pomocí UML a vysokoúrovňových Petriho sítí

Original language description

V současné době lze nalézt celou řadu přístupů použitelných k modelování logistických systémů. Za de facto standard pro modelování podnikových procesů je považován jazyk UML. Jeho specifikace obsahuje celou řadu diagramů, které popisují modelovaný systémze všech možných náhledů a abstrakcí. S jazykem UML je do značné míry seznámena komunita odborníků orientovaných na podnikové procesy, což jim umožňuje bez zásadních problémů výměnu informací o modelovaných systémech. Přestože jsou ale diagramy používané v UML názorné, nedisponují dostatkem možností k přesnému popisu sémantiky modelovaného systému a v případě složitých procesů tak poskytují jen malou šanci odhalit případné chyby. Oproti tomu Petriho sítě nabízí díky své formální definici celou řadu výhod. Na prvním místě je to možnost precizní a přesné specifikace procesu. Lze tak odstranit nejednoznačnosti, neurčitosti a kontradikce, kterým se nemusíme vyhnout v případě použití UML. K modelování složitějších systémů jsou pak obzvláště

Czech name

Modelování logistických procesů v zemědělství pomocí UML a vysokoúrovňových Petriho sítí

Czech description

V současné době lze nalézt celou řadu přístupů použitelných k modelování logistických systémů. Za de facto standard pro modelování podnikových procesů je považován jazyk UML. Jeho specifikace obsahuje celou řadu diagramů, které popisují modelovaný systémze všech možných náhledů a abstrakcí. S jazykem UML je do značné míry seznámena komunita odborníků orientovaných na podnikové procesy, což jim umožňuje bez zásadních problémů výměnu informací o modelovaných systémech. Přestože jsou ale diagramy používané v UML názorné, nedisponují dostatkem možností k přesnému popisu sémantiky modelovaného systému a v případě složitých procesů tak poskytují jen malou šanci odhalit případné chyby. Oproti tomu Petriho sítě nabízí díky své formální definici celou řadu výhod. Na prvním místě je to možnost precizní a přesné specifikace procesu. Lze tak odstranit nejednoznačnosti, neurčitosti a kontradikce, kterým se nemusíme vyhnout v případě použití UML. K modelování složitějších systémů jsou pak obzvláště

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Obchod a spotřebitel '06

ISBN

978-80-7302-124-5

ISSN

—

e-ISSN

—

Number of pages

8

Pages from-to

56-63

Publisher name

Konvoj

Place of publication

Brno

Event location

Královec

Event date

Jan 1, 2006

Type of event by nationality

CST - Celostátní akce

UT code for WoS article

—