發送短信 : Application and Theory of Petri Nets