Search Sciweavers | Sciweavers

941 search results - page 11 / 189

» Self-Evolving Petri Nets

click to vote

TII
2011

206views Education» more TII 2011»

Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques

13 years 2 months ago

Download webdiis.unizar.es

Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...

Simona Bernardi, Javier Campos, José Merseg...

claim paper

Read More »

click to vote

FUIN
2010

141views more FUIN 2010»

Decidability Problems in Petri Nets with Names and Replication

13 years 5 months ago

Download antares.sip.ucm.es

In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...

Fernando Rosa Velardo, David de Frutos-Escrig

claim paper

Read More »

click to vote

FM
2009
Springer

106views Formal Methods» more FM 2009»

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way

14 years 2 months ago

Download is.tm.tue.nl

Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...

Rik Eshuis

claim paper

Read More »

click to vote

IWPEC
2010
Springer

209views Applied Computing» more IWPEC 2010»

Small Vertex Cover Makes Petri Net Coverability and Boundedness Easier

13 years 5 months ago

Download www.cmi.ac.in

M. Praveen

claim paper

Read More »