par Devillers, Raymond 
;Van Begin, Laurent
Référence Information processing letters, 99, 5, page (208-214)
Publication Publié, 2006-09
;Van Begin, Laurent Référence Information processing letters, 99, 5, page (208-214)
Publication Publié, 2006-09
Article révisé par les pairs
| Résumé : | A model of synchronized Petri Nets (SSPN), a popular extension of the Petri Nets model that allows to model concurrent systems embedded into an environment is presented. SSPN models have essentially two specific constraints with respect to ordinary Petri Nets. If the usual Petri net underlying a synchronized net is bounded, it may easily be seen that so is the synchronized net. It is likely that it is possible to define synthesis rules allowing to construct new bounded synchronized nets from the known one. |
