IRTUM – Institutional Repository of the Technical University of Moldova

Browsing Conferinţa "Microelectronics and Computer Science" by Subject "Petri nets"

Browsing Conferinţa "Microelectronics and Computer Science" by Subject "Petri nets"

Sort by: Order: Results:

  • ECG Modeling by 3D Visual Membrane Petri Nets 
    PROFIR, Aurelia; DAMASCHIN, Roman; PREPELITA, Laura (Technical University of Moldova, 2011)
    We propose a 3D visual membrane Petri nets model of 1, 2, 3-leads electrocardiogram (ECG). This model is a part of the integrated Patient-specific model created by 3D VMPN software tool. Examples of 1, 2, 3-leads ECG are ...
  • 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 ...
  • Evaluarea timpului de întârziere în plăcile de cablaj imprimat în baza reţelelor Petri hard temporizate 
    CALUGARI, Dmitri; SUDACESVCHI, Viorica; ABABII, Victor; BORDIAN, Dimitri (Technical University of Moldova, 2017)
    În lucrare este propusă o metodă de sinteză a sistemelor pentru evaluarea timpului de întârziere în plăcile de cablaj imprimat în baza reţelelor Petri hard temporizate. Pentru specificarea şi modelarea sistemului de evaluare ...
  • 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 ...
  • Membrane Petri Nets Model Optimization using Methods of Functional Locations and Dynamic Priorities 
    PROFIR, Aurelia; DAMASCHIN, Roman; PREPELITA, Laura; YANG, Binglin (Technical University of Moldova, 2011)
    To simplify visual membrane Petri nets models and to minimize the computation time we propose two methods: a method of continuous functional locations and a method of dynamic priority functions for transitions involved in ...
  • Modelarea Managementului Calităţii Vieţii în Republica Moldova prin Reţele Petri Hibride 
    GOROBIEVSCHI, Svetlana; GUŢULEAC, Emilian (Technical University of Moldova, 2011)
    Based on the concept of Quality of Life (СV) as socio-economic category, the authors propose a new methodology for assessing and increased CV, which provides for the multifaceted socio-economic indicators in the evaluation. ...
  • Modelarea sistemelor orientate pe servicii prin RPS Reconfigurabile cu trăsături dinamice 
    GUȚULEAC, Emilian; ZAPOROJAN, Sergiu; GÎRLEANU, Ion; SCLIFOS, Alexei; IAVORSCHI, Inga (Technical University of Moldova, 2017)
    În lucrare sunt definite rețele Petri stocastice (RPS) reconfigurabile marcaj – controlabile cu trăsături dinamice (ReRPST), care permit de a descrie formal, în mod compact și flexibil, funcţionarea sistemelor orientate ...
  • Patient-Specific Modeling by 2D and 3D Visual Membrane Petri Nets 
    PROFIR, Aurelia; PREPELIŢĂ, Laura; DAMASCHIN, Roman; YANG, Binglin (Technical University of Moldova, 2011)
    A Patient-specific modeling of the glycemia level in patients with type 1 diabetes mellitus by using 2D and 3D Visual Membrane Petri Nets software applications is described. This model allows to calculate the glycemia level ...
  • 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 ...
  • Verification of system nets 
    CAMERZAN, Inga (Technical University of Moldova, 2009)
    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 ...

Search DSpace


Browse

My Account