Envoyer par SMS: Petri Net Theory and the Modeling of Systems /