. . "Transformace procesn\u00EDho modelu" . "BORM (Business object relation modeling), Petri nets, PNSim, Transformation"@en . "[0CA2884D4217]" . "1"^^ . "C\u00EDlem tohoto refer\u00E1tu je kr\u00E1tk\u00E9 p\u0159edstaven\u00ED transformace procesn\u00EDho diagramu metody BORM do Petriho s\u00EDt\u011B a simulace vznikl\u00E9 s\u00EDt\u011B pomoc\u00ED n\u00E1stroje PNSim. P\u0159\u00EDnos spo\u010D\u00EDv\u00E1 zejm\u00E9na ve snaze popsat a realizovat proces, kdy z neform\u00E1ln\u00EDho modelu v BORMu jsme schopni pomoc\u00ED transformace vytvo\u0159it form\u00E1ln\u00ED model (Petriho s\u00ED\u0165). D\u00E1le jsme schopni tento form\u00E1ln\u00ED model ov\u011B\u0159it pomoc\u00ED simulace a na z\u00E1klad\u011B toho pouk\u00E1zat na d\u016Fle\u017Eit\u00E9 vlastnosti p\u016Fvodn\u00EDho neform\u00E1ln\u00EDho n\u00E1vrhu."@cs . "Transformace procesn\u00EDho modelu" . . "P(GA402/06/1325)" . . . "Neuvedeno, 0" . "1"^^ . . "Transformace procesn\u00EDho modelu"@cs . . "2007-02-13+01:00"^^ . "Pap\u00EDk, Martin" . "C\u00EDlem tohoto refer\u00E1tu je kr\u00E1tk\u00E9 p\u0159edstaven\u00ED transformace procesn\u00EDho diagramu metody BORM do Petriho s\u00EDt\u011B a simulace vznikl\u00E9 s\u00EDt\u011B pomoc\u00ED n\u00E1stroje PNSim. P\u0159\u00EDnos spo\u010D\u00EDv\u00E1 zejm\u00E9na ve snaze popsat a realizovat proces, kdy z neform\u00E1ln\u00EDho modelu v BORMu jsme schopni pomoc\u00ED transformace vytvo\u0159it form\u00E1ln\u00ED model (Petriho s\u00ED\u0165). D\u00E1le jsme schopni tento form\u00E1ln\u00ED model ov\u011B\u0159it pomoc\u00ED simulace a na z\u00E1klad\u011B toho pouk\u00E1zat na d\u016Fle\u017Eit\u00E9 vlastnosti p\u016Fvodn\u00EDho neform\u00E1ln\u00EDho n\u00E1vrhu." . "0;0" . . "Praha" . "455531" . "PEF CZU" . "978-80-213-1623-2" . "1"^^ . . . "RIV/60460709:41110/07:19345" . . "Transformation of process model"@en . . "Sborn\u00EDk p\u0159\u00EDsp\u011Bvk\u016F z doktorsk\u00E9 v\u011Bdeck\u00E9 konference THINK TOGETHER 2007" . "RIV/60460709:41110/07:19345!RIV08-GA0-41110___" . . . . . . "Centre of gravity in this paper is short presentation of transformation of BORM process diagram in to Petri net and simulation of this net in the PNSim tool. It the case of Petri nets is concerned mathematical apparatus. In the beginning, we are trying to describe by this formal apparatus (Petri nets) the non formal BORM process model, with the possibility of simulation in the PNSim tool. On the basis of simulation we want to say something about characteristics of the original non formal model (BORM)."@en . "\u010Cesk\u00E1 zem\u011Bd\u011Blsk\u00E1 univerzita v Praze. Provozn\u011B ekonomick\u00E1 fakulta" . "Transformace procesn\u00EDho modelu"@cs . "41110" . "Transformation of process model"@en .