Sciweavers

630 search results - page 69 / 126
» Oclets - Scenario-Based Modeling with Petri Nets
Sort
View
IFIP
2004
Springer
16 years 4 days ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan