Sciweavers

969 search results - page 97 / 194
» Recursive Petri nets
Sort
View
REX
1993
14 years 2 months ago
Linear Logic on Petri Nets
Uffe Engberg, Glynn Winskel
PNPM
1989
14 years 2 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»
14 years 2 months ago
Model Checking Bounded Prioritized Time Petri Nets
Bernard Berthomieu, Florent Peres, François...