dc.contributor.author | GUŢULEAC, Emilian | |
dc.contributor.author | CRUCEAN, Anatolie | |
dc.contributor.author | STAVER, Andrei | |
dc.date.accessioned | 2019-10-22T12:42:50Z | |
dc.date.available | 2019-10-22T12:42:50Z | |
dc.date.issued | 2014 | |
dc.identifier.citation | GUŢULEAC, Emilian, CRUCEAN, Anatolie, STAVER, Andrei. Compunerea în mediul PIPE a modelelor de reţele Petri prin expresii descriptive. In: Microelectronics and Computer Science: proc. of the 8th intern. conf., October 22-25, 2014. Chişinău, 2014, pp. 273-277. ISBN 978-9975-45-329-5. | en_US |
dc.identifier.isbn | 978-9975-45-329-5 | |
dc.identifier.uri | http://repository.utm.md/handle/5014/5025 | |
dc.description.abstract | În lucrare sunt considerate unele aspecte de elaborare şi implementare în limbajul Java a unui subsistem program pentru compunerea modelelor de reţele Petri stocastice generalizate (GSPN) prin expresii descriptive care permit de a formaliza etapa de trecere logică de la o descriere informală a arhitecturii şi a specificaţiilor comportamentale ale sistemului analizat la maparea lor în modele GSPN. Acest subsistem este integrat în mediul PIPE v4.30 (Independent Petri Net Editor Open-Source), care pe lângă crearea redactarea, simularea, analiza comportamentală şi facilităţilor de animaţie a modelelor GSPN, el prevede şi un mecanism de integrare run-time a noi funcţionalităţi printr-un modul pluggable de analiză. | en_US |
dc.language.iso | ro | en_US |
dc.publisher | Tehnica UTM | en_US |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 United States | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/us/ | * |
dc.subject | rețele Petri | en_US |
dc.subject | mediu de simulare | en_US |
dc.subject | mediul PIPE | en_US |
dc.title | Compunerea în mediul PIPE a modelelor de reţele Petri prin expresii descriptive | en_US |
dc.type | Article | en_US |
The following license files are associated with this item: