Articolul precedent |
Articolul urmator |
103 0 |
SM ISO690:2012 TITCHIEV, Inga. Verification of system nets. In: Microelectronics and Computer Science: The 6th International Conference, Ed. 6, 1-3 octombrie 2009, Chisinau. Bălți, Republica Moldova: Universitatea de Stat „Alecu Russo" din Bălţi, 2009, Ediţia 6, pp. 280-282. ISBN 978-9975-45-122-2. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Microelectronics and Computer Science Ediţia 6, 2009 |
||||||
Conferința "Microelectronics and Computer Science" 6, Chisinau, Moldova, 1-3 octombrie 2009 | ||||||
|
||||||
Pag. 280-282 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
This paper provides the central basic of the modeling technique: the concept of system nets and there verifications. A formal framework for system nets has to establish the relationship between syntactical inscriptions (terms), at arcs and places, and their concrete semantical denotation. This relationship of syntax and semantics is mathematically well established, belonging to the basic concepts of computer science. |
||||||
Cuvinte-cheie Petri net, place weight, Sort, system net, structure, universe |
||||||
|