- Tytuł:
- Methods for Efficient Unfolding of Colored Petri Nets
- Autorzy:
-
Bilgram, Alexander
Jensen, Peter G.
Pedersen, Thomas
Srba, Jiří
Taankvist, Peter H. - Tematy:
-
colored Petri nets
CPN
Model Checking Contest
MCC - Pokaż więcej
- Dostawca treści:
- BazTech