Přejít k hlavnímu obsahu

Přihlášení pro studenty

Přihlášení pro zaměstnance

Publikace detail

Metodika převodu síťového grafu na Petriho síť
Autoři: Patras Viktor
Rok: 2007
Druh publikace: článek v odborném periodiku
Název zdroje: Perner´s Contacts
Název nakladatele: Univerzita Pardubice
Místo vydání: Pardubice
Strana od-do: 95-101
Tituly:
Jazyk Název Abstrakt Klíčová slova
cze Metodika převodu síťového grafu na Petriho síť V příspěvku je formulován převod hranově i vrcholově orientovaných síťových grafů, nebo i jen zadané tabulky činností na Petriho síť. Přičemž je použita technika, kdy elementární činnost je v Petriho síti reprezentována přechodem. Jedná se o alternativní přístup k používanému způsobu reprezentace pomocí místa (jež je pro úplnost také zmíněn). Pro rutinní použití je uvedena jednoduchá metodika, kde činnost síťového grafu je v Petriho síti reprezentována pomocí strukturálního prvku PAT (Place-Arc-Transition - místo-hrana-přechod). Tato metodika je použitelná pro oba typy síťových grafů i tabulku činností, pro časované (zpoždění na přechodech) i nečasované Petriho sítě, a je ilustrována na příkladě. síťový graf, Petriho síť
eng Method for transformation of flowchart to a Petri net In this paper is enunciated method for transformation of flowchart to a Petri net. In this case there was used technique of representation of elementary activity by transition in Petri net. It's alternative method to representation of elementary activity by place in Petri net (which is mentioned too). For routine operations is proposed simply method for transformation elementary activity of flowchart to a structural component PAT (Place-Arc-Transition) of Petri net. This simply method is applicable to arc oriented or node oriented flowcharts, or only to table of activities. This simply method can be used for modelling of classic flowchart with time delay activities (time delay on transitions of Petri net) or for modelling only graph of dependences, without time delay. The method is illustrated on example. flowchart, Petri nets