| bibtype |
J -
Journal Article
|
| ARLID |
0361586 |
| utime |
20240103195409.9 |
| mtime |
20110816235959.9 |
| title
(primary) (cze) |
Inovace v řízení procesů pro Petri sítě |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0361585 |
| ISSN |
1335-5961 |
| title
|
Produktivita a Inovácie |
| part_title |
Časopis o priemyselnom inžinierstve, dvojmesačník |
| volume_id |
3 |
| volume |
3 (2011) |
| page_num |
35-36 |
|
| title
(eng) |
Innovations in process control for Petri nets |
| keyword |
manufacturing process |
| keyword |
Petri nets |
| keyword |
implementation |
| author
(primary) |
| ARLID |
cav_un_auth*0230039 |
| name1 |
Papík |
| name2 |
Martin |
| full_dept (cz) |
Zpracování obrazové informace |
| full_dept (eng) |
Department of Image Processing |
| department (cz) |
ZOI |
| department (eng) |
ZOI |
| institution |
UTIA-B |
| full_dept |
Department of Image Processing |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0015163 |
| name1 |
Moravec |
| name2 |
J. |
| country |
CZ |
|
| cas_special |
| research |
CEZ:AV0Z10750506 |
| abstract
(cze) |
Úkolem návrhu každého systému je zajistit požadované chování v něm probíhajících procesů. Přičemž očekávané chování nebude porušovat omezující podmínky, získané ze specifikace (zadání). Jiné než požadované stavy tedy nesmí nastat. Toto požadované chování lze vynutit dodatečnou implementací tzv. supervizoru, který může být k existujícímu návrhu dodán jako organizační opatření, programový kód nebo hardware. Článek se zejména věnuje nástrojům, které slouží pro návrhy supervizorů. Konkrétně jde o matematický aparát založený na teorii grafů, speciálně Petriho sítí. Supervizor se bude skládat z míst, které budou napojeny na přechody procesní Petriho sítě. Návrh je založen na algebraickém řešení maticových rovnic. |
| abstract
(eng) |
The role of each system design is to obtain the required behavior of manufacturing process, which doesn’t violate constraints, derived from the specification (input) and other than the known conditions cannot therefore arise. This required behavior enforce the implementation of additional implementation so-called supervisor, which can be placed to an existing design as organizational measures, software code or hardware. We use mathematical apparatus of Petri nets. |
| reportyear |
2012 |
| RIV |
JP |
| num_of_auth |
2 |
| permalink |
http://hdl.handle.net/11104/0198870 |
| arlyear |
2011 |
| mrcbU63 |
cav_un_epca*0361585 Produktivita a Inovácie Časopis o priemyselnom inžinierstve, dvojmesačník 1335-5961 Roč. 3 č. 3 2011 35 36 |
|