In Petri net unfolding, according to the strategies of breadth first and depth first, the biggest
problem lies in the potential explosion of the state space. Unfolding generates either …

The firing rule for Petri nets assumes instantaneous and simultaneous consumption and
creation of tokens. In the context of ordinary Petri nets, this poses no particular problem …

This article focuses on computing minimal test suites for multithreaded programs. Based on
previous work on test case generation for multithreaded programs using unfoldings, this …

This paper focuses on the problem of computing the minimal test suite for a terminating
multithreaded program that covers all its executable statements. We have in previous work …

Traffic accidents cause enormous losses for our country and plenty of national assets drain
away every year, and therefore the task of traffic management is weightier than Mount Tai …

One way to verify the concurrent system is to sort the read and write events and control
events in the concurrent system according to the sequence relationship, either in a partial …

Object Petri nets are a Petri net framework that follows the nets-within-nets paradigm
introduced by Valk. In Object Petri nets the token of ordinary Petri nets are allowed to be …

Complex systems are everywhere and are part of our daily life. As a consequence, their
failures can range from being inconvenient to being life-threatening. Testing is one of the …