Verification of system nets

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