Discrete mathematics

Reachability

Stochastic Petri net

Reachability problem

Mathematics

Biology

Petri dish

Process architecture

Programming language

Computer science

Theoretical computer science

Petri net

State (computer science)

Genetics

By using the state equation of a Petri net, the authors derive a sufficient condition for reachability of Petri nets. Then, from this sufficient condition, they show that necessary and sufficient conditions can be derived for reachability of subclasses of a Petri net. The results presented are useful for analyzing many behavioral properties of Petri nets.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

On reachability conditions for unrestricted Petri nets