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

Authors:
M. Minoux;K. Barkaoui
Affiliations:
-;-
Venue:
Selected papers on First international colloquium on pseudo-boolean optimization and related topics
Year:
1990

Citing 0
Cited 3

Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation

Formal Methods in System Design
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model

The Journal of Supercomputing
A boolean model for enumerating minimal siphons and traps in petri nets

CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract