02.12.2012 Views

Abstracts - Facultatea de Matematică

Abstracts - Facultatea de Matematică

Abstracts - Facultatea de Matematică

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Petri net toolbox for MATLAB in mo<strong>de</strong>ling and simulation of<br />

discrete-event and hybrid systems<br />

Mihaela MATCOVSCHI and Octavian PĂSTRĂVANU<br />

Department of Automatic Control and Applied Informatics<br />

Technical University “Gh. Asachi” of Iasi<br />

Blvd. Mangeron 53A, Iasi 700050, Romania<br />

{opastrav, mhanako}@ac.tuiasi.ro<br />

The Petri Net Toolbox (PN Toolbox) for MATLAB is a software package that provi<strong>de</strong>s<br />

instruments for the simulation, analysis and <strong>de</strong>sign of the discrete-event systems<br />

mo<strong>de</strong>led via the Petri net formalism. The toolbox is equipped with a user-friendly<br />

graphical interface and can handle five types of Petri nets (untimed, transition-timed,<br />

place-timed, stochastic and generalized stochastic) with finite or infinite capacity. Three<br />

simulation mo<strong>de</strong>s, accompanied or not by animation, are available. Dedicated procedures<br />

cover the key topics of analysis such as behavioral properties, structural properties,<br />

time-<strong>de</strong>pen<strong>de</strong>nt performance indices, max-plus state-space representations. A <strong>de</strong>sign<br />

procedure is also available, based on parameterized mo<strong>de</strong>ls. The Petri Net Simulink<br />

Block (PNSB) allows the mo<strong>de</strong>ling and analysis of hybrid systems whose event-driven<br />

part(s) is (are) mo<strong>de</strong>led based on the PN formalism. A synchronized Petri net contain<br />

transitions that are triggered by external events (corresponding to the evolution of the<br />

continuous part(s) of the hybrid system) and exports internal events, generated by transition<br />

firings, and its current marking as input signals for the continuous part(s). The<br />

PN Toolbox is inclu<strong>de</strong>d in the Connections Program of The MathWorks Inc., as a third<br />

party product.<br />

Stochastic approach for multivalued Dirichlet–Neumann<br />

problems<br />

Lucian MATICIUC and Aurel RĂS¸CANU<br />

Department of Mathematics, “Gheorghe Asachi” Technical University of Ia¸si<br />

Bd. Carol I, no. 11, Iasi - 700506, Romania<br />

lucianmaticiuc@yahoo.com<br />

Faculty of Mathematics, “Alexandru Ioan Cuza” University of Ia¸si and<br />

“Octav Mayer” Mathematics Institute of the Romanian Aca<strong>de</strong>my<br />

Bd. Carol I, no. 11, Ia¸si - 700506, Romania<br />

rascanu@uaic.ro<br />

We prove the existence and uniqueness of a viscosity solution of the parabolic variational<br />

inequality with a mixed nonlinear multivalued Neumann-Dirichlet boundary<br />

29

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!