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: |
Gyapay Szilvia Pataricza András |
---|---|
Testületi szerző: | Conference for PhD Students in Computer Science (4.) (2004) (Szeged) |
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 |
Hasonló tételek
-
Operation research methods in Petri net-based analysis of IT system [abstract] /
Szerző: Gyapay Szilvia
Megjelent: (2002) -
Extensions to the CEGAR approach on Petri nets
Szerző: Hajdu Ákos, et al.
Megjelent: (2014) -
Use of Petri nets for performance evaluation
Szerző: Sifakis J.
Megjelent: (1979) -
On a normal form of Petri nets
Szerző: Țiplea Ferucio Laurenţiu, et al.
Megjelent: (1996) -
Limited codes associated with Petri nets
Szerző: Tanaka Genjiro
Megjelent: (2009)