Mise en œuvre
Commandes à réseaux de Petri - Mise en œuvre et application

1.1 Transformation du modèle

L’application modélisée et vérifiée répond aux attentes, mais sa mise en œuvre peut requérir des modifications. En effet, il suffit de considérer, par exemple, que les activités de base retenues dans la modélisation sont physiquement réparties sur plusieurs matériels distincts. Une mise en œuvre distribuée du réseau de Petri est alors nécessaire pour tenir compte de cette réalité.

La transformation du modèle obtenu peut être envisagée sous plusieurs aspects.

1.1.1 Décomposition fonctionnelle du modèle

Le modèle est une représentation du fonctionnement attendu. Dans ce sens, il exprime des fonctions du système, définies explicitement dans le cahier des charges, ou bien conséquentes de la juxtaposition de contraintes élémentaires.

L’utilisateur/concepteur peut décider de découper le modèle afin de mettre en exergue les fonctions qu’il a identifiées, comme par exemple « gestion de la ressource partagée », « évacuation des produits ».

Il décide ainsi de façon pragmatique d’un découpage fonctionnel modulaire regroupant au sein d’un même module les places et transitions du réseau nécessaires à la représentation d’une fonction. Son expérience lui sert de support pour mener la décomposition, et la vision graphique du réseau de Petri est un bon soutien pour isoler ces comportements, dans la mesure où une vision globale est envisageable. Pour cela, le réseau de Petri doit conserver une dimension « lisible », comme cela a été proposé dans (§ 1.1.3), le format A4 étant une bonne base pour garantir cette lisibilité.

Par ailleurs, le découpage du modèle peut être abordé avec un point de vue « matériel » : la priorité est donnée ici aux matériels du système modélisé. La mise en œuvre du réseau de Petri a pour objectif d’effectuer...