Petri nets, also known as vector addition systems, are a long established model of
concurrency with extensive applications in modeling and analysis of hardware, software …

This paper focuses on the design and verification methods of distributed logic controllers
supervising real-life processes. Such systems have to be designed very carefully and …

We prove that the reachability problem for two-dimensional vector addition systems with
states is NL-complete or PSPACE-complete, depending on whether the numbers in the input …

Petri nets, equivalently presentable as vector addition systems with states, are an
established model of concurrency with widespread applications. The reachability problem …

A method to find the minimized state machine cover of live and safe Petri nets (PNs) is
proposed in this paper. It is required that a cover be obtained in some implementation …

The reachability problem is a central decision problem for formal verification based on vector
addition systems with states (VASS), which are equivalent to Petri nets and form one of the …

We investigate computational complexity of the reachability problem for vector addition
systems (or, equivalently, Petri nets), the central algorithmic problem in verification of …

A wearable, 56-channel stimulator was developed and successfully tested to drive
multichannel intrafascicular electrodes. It is able to safely elicit sensory afferent signals …

Our work is integrated into a global methodology to design synchronously executed
embedded critical systems. It is used for the development of medical devices implanted into …

The reliability of circuit systems is primarily affected by cascading failures due to their
complex structural and functional coupling. Causes of cascading failure during circuit …