Abstract
Colored Petri Net (CPN) is an influential formalism for describing asynchronous distributed systems. They are straightforwardly articulate the behavior of systems particularly those that are structured of replicated components that independently act in a similar manner. Wireless sensor network (WSN) is a typical paradigm of those systems. In this paper, two CPN models for two frequently used data aggregation approaches in WSNs: cluster and tree-based are modeled. The developed models are evaluated using state space analysis and performance evaluation techniques. Performances evaluation is applied in terms of end to end delay and power consumption metrics.