CHUNG-HSIEN KUOChen T.-S.2022-11-162022-11-162017https://www.scopus.com/inward/record.uri?eid=2-s2.0-85131988588&doi=10.1201%2fb15479-3&partnerID=40&md5=538e6a341ae89112f31eae5d2d1d7d66https://scholars.lib.ntu.edu.tw/handle/123456789/625458https://doi.org/10.1201/b15479-3This chapter introduces Petri-net-based wireless sensor-node architecture (PN-WSNA) to model the execution behaviors of a sensor node according to the tasks it needs to accomplish. It illustrates the modeling of PN-WSNA and theoretical equivalencies. The chapter demonstrates some PN-WSNA examples and describes the user interface of the PN-WSNA integrated development environment. It explains the fundamental PN-WSNA models of sensor places, high/low-enable transitions, transmitter and receiver places, actuation places, and timed transitions are presented. The chapter presents a simple 2-to-4 multiplexer PN-WSNA logic model is proposed for evaluating a combinational reasoning system. With the PN-WSNA-based WSN system implementation approaches, the WSN engineers can focus on the execution scenario models instead of programming complicated platform-specific applications. With the benefits of virtual machine and model-based implementation approaches, the reconfiguration of existing sensor nodes is accomplished by reloading the PN-WSNA models, and no physical sensor-node visits are needed. © 2014 by Taylor & Francis Group, LLC.book part2-s2.0-85131988588