Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
570 10 |
Ultima descărcare din IBN: 2023-06-28 11:38 |
Căutarea după subiecte similare conform CZU |
004.02 (22) |
Știința și tehnologia calculatoarelor. Calculatoare. Procesarea datelor (4095) |
SM ISO690:2012 TITCHIEV, Inga. Application of Petri nets in logical problems solving. In: Acta et commentationes (Ştiinţe Exacte și ale Naturii), 2019, nr. 2(8), pp. 103-110. ISSN 2537-6284. DOI: https://doi.org/10.36120/2587-3644.v8i2.103-110 |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Acta et commentationes (Ştiinţe Exacte și ale Naturii) | |||||
Numărul 2(8) / 2019 / ISSN 2537-6284 /ISSNe 2587-3644 | |||||
|
|||||
DOI: https://doi.org/10.36120/2587-3644.v8i2.103-110 | |||||
CZU: 004.02 | |||||
Pag. 103-110 | |||||
|
|||||
Descarcă PDF | |||||
Rezumat | |||||
The main goal of the article is to perform theoretical research with practical applicability that will contribute to solving some mathematical logical problems by applying the formalism of Petri nets. The facilities offers a new approach that allows the solution to be determined by a method different from the existing ones, but which is quite suggestive and easy to understand. |
|||||
Cuvinte-cheie logical problem, modeling, Petri nets, reachability graph, problemă de logică, modelare, rețele Petri, graf de acoperire |
|||||
|