Pages that link to "Item:Q989507"
From MaRDI portal
The following pages link to EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system (Q989507):
Displaying 1 item.
The following pages link to EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system (Q989507):
Displaying 1 item.