Sciweavers

941 search results - page 22 / 189
» Petri Nets Are Dioids
Sort
View
TCSV
2010
15 years 24 days ago
Video Event Modeling and Recognition in Generalized Stochastic Petri Nets
Gal Lavee, Michael Rudzsky, Ehud Rivlin, Artyom Bo...
IJKBO
2011
44views more  IJKBO 2011»
14 years 9 months ago
Modeling Operational Robustness and Resiliency with High-Level Petri Nets
Madjid Tavana, Timothy E. Busch, Eleanor L. Davis
PNPM
1987
15 years 9 months ago
Toward a Definition of Modeling Power for Stochastic Petri Net Models
Some insight on the meaning of "modeling power" for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or ...
Gianfranco Ciardo
APN
2008
Springer
15 years 8 months ago
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
Josep Carmona, Jordi Cortadella, Michael Kishinevs...