Pages that link to "Item:Q2641226"

From MaRDI portal

← Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226)

Jump to:navigation, search

The following pages link to Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226):

Displaying 3 items.

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (Q272014) (← links)
Trapping mutual exclusion in the box calculus (Q672869) (← links)
On liveness in Extended Non Self-Controlling Nets (Q5096358) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"