發送短信 : A graphical method for automatic code generation from extended s-system petri net models