ABSTRACT
This 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.
