Yayın: A reversibility enforcement approach for petri nets using invariants
Yükleniyor...
Tarih
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayımcı
Özet
Açıklama
Anahtar kelimeler
Petri net, Reachability, Set (abstract data type), State (computer science), Computer science, Stochastic Petri net, Event (particle physics), Enforcement, Theoretical computer science, MATLAB, Algorithm, Mathematics, Programming language