Browsing 2005 by Subject "Petri nets"

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 ...
  • FPGA - based implementation of safe Petri nets models 
    ABABII, V.; SUDACEVSCHI, V. (Technical University of Moldova, 2005)
    In this paper a hardware implementation method of Safe Petri Nets (SaPN) models is proposed. Mapping of SaPN models into FPGA is based on creating of the connections between selected functional elements places P and ...
  • 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