Sciweavers

941 search results - page 22 / 189
» Petri Nets Are Dioids
Sort
View
TCSV
2010
14 years 6 months 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 3 months ago
Modeling Operational Robustness and Resiliency with High-Level Petri Nets
Madjid Tavana, Timothy E. Busch, Eleanor L. Davis
PNPM
1987
15 years 3 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 1 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...