Login / Signup

Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net.

Peter Kemper
Published in: Application and Theory of Petri Nets (1993)
Keyphrases