Last ned Linnk AI
•
Autonom forskningsassistent
>
Logg Inn
innsikt
-
Place Bisimilarity in Petri Nets
Decidability of Place Bisimilarity in Petri Nets
Place bisimilarity is decidable and finer than interleaving bisimilarity.
1