The monography refers to the selected aspects of the generally parallel distributed object-oriented programming systems modelling with using of Petri nets. The text newly introduces three new classes of Petri nets ...

IN - Informatika

Rok uplatnění
• 2015
•

B - Odborná kniha
• B

Toolbox is software package containing a new version of Matlab toolbox for Petri nets net andits export to Petri Net Markup Language (PNML). The matlab toolbox for Petri nets supports th...

BC - Teorie a systémy řízení

Rok uplatnění
• 2004
•

D - Stať ve sborníku
• D

Petri Nets, Hardware Implementation...

JC - Počítačový hardware a software

Rok uplatnění
• 2003
•

D - Stať ve sborníku
• D

Development tool Sketcher was created for working with Petri nets. This application makes it possible to design, debug, simulate and verify Petri nets on real processes. Sketcher application can be used to implemen...

BC - Teorie a systémy řízení

Rok uplatnění
• 2009
•

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
• J_x

A Petri net is a graphical and mathematical tool for modeling and analysis of discrete event systems. The basic concepts of Petri nets were introduced by Carl Adam Petri. This section gives a brief introdu...

JS - Řízení spolehlivosti a kvality, zkušebnictví

Rok uplatnění
• 2011
•

C - Kapitola v odborné knize
• C

using Petri nets. In the introduction to the problem given the importance of making public transport route network and an incentive to use tools of Petri nets. The following theoretical analysis, including basic c...

JO - Pozemní dopravní systémy a zařízení

Rok uplatnění
• 2010
•

D - Stať ve sborníku
• D

for Petri nets. In the introduction, the problem is given the importance of networking public transport lines and the use of incentive tools Petri nets. Followed by theoreticalanalysis, including basic concepts of...

JO - Pozemní dopravní systémy a zařízení

Rok uplatnění
• 2010
•

D - Stať ve sborníku
• D