Sciweavers

941 search results - page 18 / 189
» History-Dependent Petri Nets
Sort
View
FUIN
2010
141views more  FUIN 2010»
13 years 6 months ago
Decidability Problems in Petri Nets with Names and Replication
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
FM
2009
Springer
106views Formal Methods» more  FM 2009»
14 years 3 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
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
CG
1998
Springer
13 years 8 months ago
Animation modeling with petri nets
Léo Pini Magalhães, Alberto Barbosa ...