For the most recent entries see the Petri Nets Newsletter.

Deadlock Checking for Complete Finite Prefixes Using Logic Programs with Stable Model Semantics.

Heljanko, Keijo

In: Burkhard, H.-D.; Czaja, L.; Starke, P.: Informatik-Berichte, No. 110: Workshop Concurrency, Specification and Programming, 28-30 September 1998, pages 106-115. Berlin: Humboldt-Universität, 1998.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography