Show simple item record

dc.contributor.author CAMERZAN, Inga
dc.date.accessioned 2024-01-11T11:50:54Z
dc.date.available 2024-01-11T11:50:54Z
dc.date.issued 2009
dc.identifier.citation CAMERZAN, Inga. Verification of system nets. In: Microelectronics and Computer Science: proc. 6th International Conference, 1-3 Oct. 2009, Chişinău, Republica Moldova, vol. 1, 2009, pp. 280-282. ISBN 978-9975-45-045-4. ISBN 978-9975-45-122-2 (vol. 1). en_US
dc.identifier.isbn 978-9975-45-045-4
dc.identifier.isbn 978-9975-45-122-2
dc.identifier.uri http://repository.utm.md/handle/5014/25791
dc.description.abstract 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. en_US
dc.language.iso en en_US
dc.publisher Technical University of Moldova en_US
dc.relation.ispartof Proceeding of the 6th International Conference on "Microelectronics and Computer Science", oct.1-3, 2009, Chişinău, Moldova
dc.rights Attribution-NonCommercial-NoDerivs 3.0 United States *
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/us/ *
dc.subject Petri nets en_US
dc.subject system nets en_US
dc.subject syntactical inscriptions en_US
dc.title Verification of system nets en_US
dc.type Article en_US


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 United States Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States

Search DSpace


Browse

My Account