Application of Petri nets in logical problems solving
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
604 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 (4182)
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

Application of Petri nets in logical problems solving

Aplicarea rețelelor Petri la rezolvarea problemelor de logică

DOI:https://doi.org/10.36120/2587-3644.v8i2.103-110
CZU: 004.02

Pag. 103-110

Titchiev Inga12
 
1 Tiraspol State University,
2 Vladimir Andrunachievici Institute of Mathematics and Computer Science
 
 
Disponibil în IBN: 29 ianuarie 2020


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.

Scopul principal al articolului este axat pe efectuarea cercetărilor teoretice cu aplicabilitate practică care vor contribui la soluționarea unor probleme de logică matematică prin aplicarea formalismului Rețelelor Petri. Facilitățile acestora oferă o nouă abordare care permite determinarea soluției printr-o metodă diferită de cele existente, dar care este sugestivă și ușor de înțeles.

Cuvinte-cheie
logical problem, modeling, Petri nets, reachability graph,

problemă de logică, modelare, rețele Petri, graf de acoperire