Modeling and analysis of recovery system for airdrop Modeling and analysis of dynamic systems Modeling and analysis of microgrid stability Modeling and analysis of enterprise and information system Modeling and analyzing electronic commerce system using petri nets