DSpace Repository

VCPN tool for performance modelling of computers systems

Show simple item record

dc.contributor.author GUŢULEAC, Emilian
dc.contributor.author ODOBESCU, Diana
dc.contributor.author GUŢULEAC, Emilia E.
dc.date.accessioned 2019-10-29T12:43:35Z
dc.date.available 2019-10-29T12:43:35Z
dc.date.issued 2005
dc.identifier.citation GUŢULEAC, Emilian, ODOBESCU, Diana, GUŢULEAC, Emilia E. VCPN tool for performance modelling of computers systems. In: Microelectronics and Computer Science: proc. of the 4th intern. conf., September 15-17, 2005. Chişinău, 2005, vol. 2, pp. 165-168. ISBN 9975-66-038-X. en_US
dc.identifier.isbn ISBN 9975-66-038-X
dc.identifier.uri http://repository.utm.md/handle/5014/5576
dc.description.abstract Petri nets (PN) are well established to support the modeling and simulation of parallel and concurrent systems and represent a well-known and widely used formalism. Coloured Petri Nets (CPN) have been introduced to allow the modeler to make more manageable descriptions of large PN models, by folding equal subnets into each other. This folding consists of representing all instances of a process type by a single subnet and distinguishing the individual processes of this type by different colours. We present the Visual Coloured Petri Nets (VCPN) software tool (C++) for modeling and verification of computer systems using timed CPN. This tool that has been developed for these purposes is illustrated with an emphasis on the modelling environment it provides and on its software architecture. Future enhancements of this tool are also discussed. en_US
dc.language.iso en en_US
dc.publisher Technical University of Moldova en_US
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 computers systems en_US
dc.title VCPN tool for performance modelling of computers systems 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


Advanced Search

Browse

My Account