Optimal trajectory generation for Petri nets
Recently, the increasing complexity of IT systems requires the early verification and validation of the system design in order to avoid the costly redesign. Furthermore, the efficiency of system operation can be improved by solving system optimization problems (like resource allocation and schedulin...
Elmentve itt :
| Szerzők: | |
|---|---|
| Testületi szerző: | |
| Dokumentumtípus: | Cikk |
| Megjelent: |
2005
|
| Sorozat: | Acta cybernetica
17 No. 2 |
| Kulcsszavak: | Számítástechnika, Nyelvészet - számítógép alkalmazása |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12764 |
| LEADER | 01722nab a2200241 i 4500 | ||
|---|---|---|---|
| 001 | acta12764 | ||
| 005 | 20220615115052.0 | ||
| 008 | 161015s2005 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Gyapay Szilvia | |
| 245 | 1 | 0 | |a Optimal trajectory generation for Petri nets |h [elektronikus dokumentum] / |c Gyapay Szilvia |
| 260 | |c 2005 | ||
| 300 | |a 225-245 | ||
| 490 | 0 | |a Acta cybernetica |v 17 No. 2 | |
| 520 | 3 | |a Recently, the increasing complexity of IT systems requires the early verification and validation of the system design in order to avoid the costly redesign. Furthermore, the efficiency of system operation can be improved by solving system optimization problems (like resource allocation and scheduling problems). Such combined optimization and validation, verification problems can be typically expressed as reachability problems with quantitative or qualitative measurements. The current paper proposes a solution to compute the optimal trajectories for Petri net-based reachability problems with cost parameters. This is an improved variant of the basic integrated verification and optimization method introduced in [11] combining the efficiency of Process Network Synthesis optimization algorithms with the modeling power of Petri nets. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Számítástechnika, Nyelvészet - számítógép alkalmazása | ||
| 700 | 0 | 1 | |a Pataricza András |e aut |
| 710 | |a Conference for PhD Students in Computer Science (4.) (2004) (Szeged) | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/12764/1/Gyapay_2005_ActaCybernetica.pdf |z Dokumentum-elérés |