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: In this paper, we propose several opacity-preserving (bi)simulation relations for nondeterministic transition systems (NTSs) in terms of initial-state opacity, current-state opacity, K-step ...

Abstract: Due to their graphical representation and capability for property analysis, Petri nets (PNs) have been widely used in developing automated manufacturing systems (AMS). When doing so, it is ...

This library provides definitions and verified translations between different representations of regular languages: various forms of automata (deterministic, nondeterministic, one-way, two-way), ...