Abstracts - Facultatea de Matematică
Abstracts - Facultatea de Matematică
Abstracts - Facultatea de Matematică
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