Reachability is the basis for studying other dynamic properties of Petri nets (PNs). When a
state equation is used to determine the reachability of a marking, we need to judge whether …

The smart contract on the blockchain allows credible transactions without a third party.
These transactions are traceable and irreversible. The deployment and implementation of …

Asynchronous circuits are interesting alternatives for implementing ultra-low power systems
but they are more challenging to design. This work provides methods for designers to …

Petri nets (PNs) can model various event-driven systems well and detect a fault via
reachability analysis. Some state-equation-based approaches are designed for only …

This paper presents a Pattern-type Reachability Analysis of distributed systems modelled by
Fractal Petri Nets. We define Fractal Petri Nets as a net which is dynamically synthesized …

Pattern-type reachability analysis extends Petri nets analysis by constructing a reachability
graph from the patterns which are the internal emergent properties of the modeling system …

In this paper, a Petri net-based logic and sequence control model of photo mask transport
was constructed. A characteristic analysis was made on the established Petri net model in …

The reachable tree method and state equation method to analyze the reachability of Petri
net are discussed for their advantages & disadvantages. And a new approach named …