The loss of logical foundations might actually be liberating. What is the greatest mathematical achievement of all time? Judged in terms of the consequences for science and engineering, one might ...

Abstract: Neither the existence nor the nonexistence of a liveness enforcing supervisory policy (LESP) for an arbitrary Petri net (PN) is semidecidable. In an attempt to identify decidable instances, ...

Several extensions have been proposed for enriching Petri nets with reconfigurability to get closer to real dynamic systems and to offer realistic models that reflect the inherent aspects of these ...

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis.