On transforming Petri net model to Moore machine
Proceedings Fourteenth Annual International …, 1990 - computer.org
Due to power limitation of nodes in wireless sensor networks (WSNs), how to maximize
network lifetime has become a critical issue for deployment of WSNs. Although several …
network lifetime has become a critical issue for deployment of WSNs. Although several …
On transforming Petri net model to Moore machine
CK Chang, H Huang - Proceedings., Fourteenth Annual …, 1990 - ieeexplore.ieee.org
The absence of satisfactory methods for verifying the liveness and fairness properties limits
the analysis power of Petri net theories. An approach is introduced to connect the Petri net …
the analysis power of Petri net theories. An approach is introduced to connect the Petri net …