Petri nets approach to solve logical problems
Închide
Articolul precedent
Articolul urmator
586 2
Ultima descărcare din IBN:
2021-12-17 21:31
SM ISO690:2012
TITCHIEV, Inga. Petri nets approach to solve logical problems. In: Proceedings IMCS-55: The Fifth Conference of Mathematical Society of the Republic of Moldova, 28 septembrie - 1 octombrie 2019, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2019, pp. 331-334. ISBN 978-9975-68-378-4.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Proceedings IMCS-55 2019
Conferința "Conference of Mathematical Society of the Republic of Moldova"
Chișinău, Moldova, 28 septembrie - 1 octombrie 2019

Petri nets approach to solve logical problems


Pag. 331-334

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


Rezumat

The aim of this paper is to perform theoretical research with practical applicability that will contribute to solving some logical problems by applying Petri nets formalism. Their facilities offer 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
Petri nets, logical problem, modeling, reachability graph