| Article ID: | iaor20052771 |
| Country: | France |
| Volume: | 38 |
| Issue: | 1 |
| Start Page Number: | 39 |
| End Page Number: | 62 |
| Publication Date: | Jan 2004 |
| Journal: | RAIRO Operations Research |
| Authors: | Proust Christian, Martineau Patrick, Haro Christophe |
| Keywords: | petri nets |
This paper introduces a new transformation of generalized Petri nets. This transformation is a reduction rule. We prove that it preserves the invariants and most important structural properties. A function that transforms the markings helps us to give some indications to prove the conservation of the behavioral properties.