Searching for "Canonical prefixes of Petri net unfoldings." – sorted by Relevance.
-
Canonical Prefixes of Petri Net Unfoldings
- Canonical Prefixes of Petri Net Unfoldings Victor Khomenko 1 , Maciej Koutny 1 , and Walter
- Cited by 13 (6 self) – Add To MetaCart
-
Model Checking Based on Prefixes of Petri Net Unfoldings
- discusses the theory of canonical prefixes of Petri net unfoldings. Chapter 3 describes the test bench
- Cited by 17 (9 self) – Add To MetaCart

