Sciweavers

1019 search results - page 104 / 204
» Petri Net Transformations in the
Sort
View
PNPM
1989
13 years 12 months ago
Stochastic Petri Net Modeling of VAXcluster System Availability
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, K...
ATVA
2007
Springer
98views Hardware» more  ATVA 2007»
13 years 12 months ago
Model Checking Bounded Prioritized Time Petri Nets
Bernard Berthomieu, Florent Peres, François...