Modeling of Various Phases of Micro Satellite using Timed Petri Nets

The modeling of various working phases of a satellite system is a challenging task. Petri nets are powerful tool for modeling systems. For more than a decade, the satellite missions have been using micro satellites in low earth orbits. These micro satellites could be used to test advanced technologies for future operational satellites ANUSAT is a low earth orbit micro satellite. The primary payload of ANUSAT is the store and forward payload. The main application of store and forward payload is to support communication between clients in various footprints of the satellite. This paper is about the modeling of various working phases of ANUSAT using Petri nets based on time