Browsing 2005 by Author "GUŢULEAC, Emilian"

Sort by: Order: Results:

  • Encoding P systems with descriptive membrane timed Petri Nets 
    GUŢULEAC, Emilian (Technical University of Moldova, 2005)
    Petri nets (PN) are very popular formalism for the analysis and representation of concurrent distributed systems that has draw much attention from the community to modeling and verification of this type of systems. P ...
  • Teaching timed hybrid Petri nets for performance modeling of computers networks protocols 
    GUŢULEAC, Emilian; SONTEA, Victor (Technical University of Moldova, 2005)
    The handling of abstraction and of models is generally claimed to be one of the central issues of computer engineering and science. However, little attention is paid to the process of model creation, validation and performance ...
  • VCPN tool for performance modelling of computers systems 
    GUŢULEAC, Emilian; ODOBESCU, Diana; GUŢULEAC, Emilia E. (Technical University of Moldova, 2005)
    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 ...

Search DSpace


Browse

My Account