IRTUM – Institutional Repository of the Technical University of Moldova

Browsing Articole din publicaţii internaţionale by Subject "Petri nets"

Browsing Articole din publicaţii internaţionale by Subject "Petri nets"

Sort by: Order: Results:

  • Control Systems Modelling and Design for Processes Synchronization 
    ABABII, Victor; SUDACEVSCHI, Viorica; GUŢULEAC, Emilian (Agora University Publishing House, 2006)
    Design of real-time control systems requires new methodologies in their modelling, verification and implementation. In the paper a complex integrated design system is presented. The design process starts with analysing of ...
  • Descriptive Timed Membrane Petri Nets for Modelling of Parallel Computing 
    GUŢULEAC, Emilian (CCC Publications, R & D Agora, 2006)
    In order to capture the compartmentation and behaviour of membrane systems for modelling of parallel computing, we introduce the descriptive dynamic rewriting Descriptive Membrane Timed Petri Nets (DM-nets) that can at in ...
  • Descriptive Timed Membrane Petri Nets for Modelling of Parallel Computing 
    GUŢULEAC, Emilian (CCC Publications, R & D Agora, 2006)
    In order to capture the compartmentation and behaviour of membrane systems for modelling of parallel computing, we introduce the descriptive dynamic rewriting Descriptive Membrane Timed Petri Nets (DM-nets) that can at in ...
  • Descriptive timed membrane Petri nets for performance modelling of parallel and distributed computing 
    GUŢULEAC, Emilian; BALMUŞ, Ion; ŢURCANU, Iurie; GUŢULEAC, Emilia (Stefan cel Mare University of Suceava, Romania, 2006)
    In order to capture the compartmentalization and the behaviour of membrane systems for performance modelling of parallel and distributed computing, we introduce the Descriptive Timed Membrane Petri Nets (DM-nets) that can ...
  • Digital Systems Synthesis based on Direct Translation of Petri Net Model 
    SUDACEVSCHI, Viorica; ABABII, Victor; GUTULEAC, Emilian; PALII, Diana (Stefan cel Mare University of Suceava, Romania, 2012)
    This paper describes a digital system design method based on direct translation of a Petri net model into an FPGA circuit netlist. A proposed CAD tool allows digital system specification, modeling validation and synthesis ...
  • A Hardware Implementation of Petri Nets Models 
    SUDACEVSCHI, Viorica; ABABII, Victor; NEGURA, Valentin (Stefan cel Mare University of Suceava, Romania, 2006)
    In this work is proposed a hardware implementation method of Safe Petri Net model (SaPN). The processing structure presents an interaction between homogeny processing elements functional defined. On dependence of ...
  • A Hardware Implementation of Petri Nets Models 
    SUDACEVSCHI, Viorica; GUTULEAC, Ludmila; ABABII, Victor (Stefan cel Mare University of Suceava, Romania, 2004)
    This paper presents the structure of a reconfigurable FPGA system for Petri Net simulation. The system is described as the interactions between processed elements that are functionally defined. According to the interconnection ...
  • HDL Implementation from Petri Nets Description 
    SUDACEVSCHI, Viorica; ABABII, Victor; GUTULEAC, Emilian; NEGURA, Valentin (Stefan cel Mare University of Suceava, Romania, 2010)
    This paper describes the digital systems synthesis based on direct mapping of Petri nets model into FPGA circuit. A design flow that includes the specification of the system using Synchronous Petri Nets, verification of ...
  • Marked-Controlled Rewriting EFPN for Dynamic Knowledge Inference 
    GUŢULEAC, Emilian; MOCANU, Mihai (Springer Nature Switzerland, 2008)
    In this paper, we introduce the descriptive marked-controlled rewriting Extended Fuzzy Petri Nets (EFPN) that can at run-time modify their own structure by rewriting some of their descriptive expression components where ...
  • Membrane Differential Petri Nets for Performance Modelling of Hybrid P-systems 
    GUŢULEAC, Emilian; MOCANU, Mihai L.; ŢURCANU, Iurie (Romanian Society of Control Engineering and Technical Informatics, SRAIT, 2007)
    P-systems, also referred to as membrane systems, are a class of computing models inspired from the structure and functioning of living cells. Efforts have been made to simulate Psystems with Petri nets, most oriented to ...
  • Modeling Activities of Commercial Bank Through Petri Nets 
    ENICOV, Igor; GUTULEAC, Emilian (University of Oradea, Romania, 2017)
    The relevance of the article is determined by the need to improve the methods of modelling and simulating commercial bank activity, including for the purpose of calculating, controlling and managing the risk of the bank, ...
  • Modelling and Design of Control Systems based on Petri Nets Models 
    SUDACEVSCHI, V.; ABABII, V.; GUTULEAC, E. (Elsevier, 2007)
    This paper describes a structured and flexible method for control system design based on Petri nets models. A proposed CAD tool allows control system specification, modeling, validation and synthesis using Petri nets. The ...
  • Modelling and Synthesis of Printed Circuit Boards Testing Systems based on Timed Hard Petri Nets 
    SUDACEVSCHI, Viorica; ABABII, Victor; CALUGARI, Dmitri; BORDIAN, Dimitrie (University of Craiova, 2017)
    This paper presents a synthesis method for delay time evaluation in the printed circuit boards based on Timed Hard Petri Nets. For the specification and modeling of the delay time evaluation system, Timed Synchronous Petri ...
  • Modelling and synthezis of real-time control systems based on hardware timed Petri Nets 
    SUDACEVSCHI, Viorica; ABABII, Victor (Universitatea Tehnică „Gheorghe Asachi” din Iaşi, 2013)
    This paper presents a synthesis method of real-time control systems based on direct mapping of Petri net model into Field Programmable Gate Array (FPGA) circuit. Synchronous timed Petri nets have been developed to specify ...
  • Real-time reconfiguration of distributed control system based on hard Petri nets 
    ABABII, V.; SUDACEVSCHI, V.; PODUBNII, M.; COJUHARI, I. (IEEE, 2014)
    This paper presents the design of a distributed control system based on Hardware Petri nets with real time reconfigurable architecture.
  • Reconfigurable Control Systems Modeling and Design Based on Petri Nets 
    SUDACEVSCHI, Viorica; ABABII, Victor; NEGURA, Valentin (Stefan cel Mare University of Suceava, Romania, 2008)
    This paper describes a Discrete Petri net based method for specification, analysis and synthesis of the reconfigurable control system. The control system synthesis is based on Hardware Petri nets that are composed of two ...
  • Simulation and validation of molecular genetic triggers networks with timed hybrid Petri Nets 
    PROFIR, Aurelia; GUŢULEAC, Emilian; BOIAN, Elena (Stefan cel Mare University of Suceava, Romania, 2004)
    In this paper a bistable self-organizing genetic structure with two alternative stable states (true and false) – one-dimensional molecular-genetic trigger (1D MGT) – is modeled with Timed Hybrid Petri Nets. It has been ...
  • Timed hybrid Petri Nets visual simulation in VPNP 
    GUŢULEAC, Emilian; GÎSCA, Vasile; GUŢULEAC, Ludmila; ZAPOROJAN, Sergiu (Stefan cel Mare University of Suceava, Romania, 2004)
    This paper presents a visual simulation of timed hybrid Petri nets (HPN) a class of Petri nets in which some places may hold fluid rather than discrete tokens. The simulation software has been developed and implemented in ...
  • Uncertainty modelling of dynamically reconfigurable systems based on rewriting stochastic reward nets with z-fuzzy parameters 
    MORARU, Victor; GUŢULEAC, Emilian; ZAPOROJAN, Sergiu (Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova, 2021)
    This paper presents the descriptive compositional approach for uncertainty modelling and performance evaluation of dynamic reconfigurable discrete event systems (ReDES) using rewriting stochastic reward nets (ReSRN) with ...
  • VHPN – Software Tool for Visual Discrete-Continuous Modelling of Hybrid System using Generalized Timed Differential Petri Nets 
    GUŢULEAC, Emilian; ŢURCANU, Iurie; GUŢULEAC, Emilia; ODOBESCU, Diana (Stefan cel Mare University of Suceava, Romania, 2006)
    This paper presents the timed Generalized Differential Petri Nets (GDPN) a class of Petri nets, that are accepted the negative-continuous place capacity, negative real values for continuous place marking and negative ...

Search DSpace


Browse

My Account