Compunerea &icirc;n mediul PIPE a modelelor de reţele Petri prin expresii descriptive

Guţuleac Emilian; Crucean Anatolie; Staver Andrei

Articolul precedent

Articolul urmator

647

Ultima descărcare din IBN:
2022-12-04 16:41

SM ISO690:2012

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: The 5th International Conference, Ed. 8, 22-25 octombrie 2014, Chisinau. Chișinău, Republica Moldova: Universitatea Tehnică a Moldovei, 2014, Ediția 8, pp. 273-277. ISBN 978-9975-45-329-5..

EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core

Microelectronics and Computer Science
Ediția 8, 2014

Conferința "Microelectronics and Computer Science"
8, Chisinau, Moldova, 22-25 octombrie 2014

Compunerea în mediul PIPE a modelelor de reţele Petri prin expresii descriptive

Pag. 273-277

Guţuleac Emilian, Crucean Anatolie, Staver Andrei

Universitatea Tehnică a Moldovei

Proiecte:

Menționat în lucrare: 11.817.08.55A Metode şi tehnologii avansate de proiectare şi dezvoltare a aplicaţiilor reconfigurabile de calcul

Menționat în lucrare: 14.820.18.02.03/U Reţele de senzori distribuite cu noduri de calcul reconfigurabile

Disponibil în IBN: 19 aprilie 2019

Descarcă PDF

Rezumat

Î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ă.

Cuvinte-cheie
compunere, modelare, rețele Petri stocastice, mediu de simulare

Crossref XML Export

<?xml version='1.0' encoding='utf-8'?>
<doi_batch version='4.3.7' xmlns='http://www.crossref.org/schema/4.3.7' xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xsi:schemaLocation='http://www.crossref.org/schema/4.3.7 http://www.crossref.org/schema/deposit/crossref4.3.7.xsd'>
<head>
<doi_batch_id>ibn-76176</doi_batch_id>
<timestamp>1714570228</timestamp>
<depositor>
<depositor_name>Information Society Development Instiute, Republic of Moldova</depositor_name>
<email_address>idsi@asm.md</email_address>
</depositor>
</head>
<body>
<collection>
<collection_metadata>
<full_title>Microelectronics and Computer Science</full_title>
</collection_metadata>
<collection_issue>
<publication_date media_type='print'>
<year>2014</year>
</publication_date>
<isbn>978-9975-45-329-5.</isbn>
</collection_issue>
<collection_article publication_type='full_text'><titles>
<title>Compunerea &icirc;n mediul PIPE a modelelor de reţele Petri prin expresii descriptive</title>
</titles>
<contributors>
<person_name sequence='first' contributor_role='author'>
<given_name>Emilian</given_name>
<surname>Guţuleac</surname>
</person_name>
<person_name sequence='additional' contributor_role='author'>
<given_name>Anatolie</given_name>
<surname>Crucean</surname>
</person_name>
<person_name sequence='additional' contributor_role='author'>
<given_name>Andrei</given_name>
<surname>Staver</surname>
</person_name>
</contributors>
<publication_date media_type='print'>
<year>2014</year>
</publication_date>
<pages>
<first_page>273</first_page>
<last_page>277</last_page>
</pages>
</collection_article>
</collection>
</body>
</doi_batch>