SÉPIA Un cadre Java qui implémente des filets de Pétri
Télécharger maintenant

SÉPIA Classement & Résumé

SÉPIA Mots clés

flux de travail mettre en uvre Mettre en uvre Petri Net Implémentation du réseau de Petri graphique bipartite Net de Petri

SÉPIA La description

SEPIA est un cadre Java qui peut mettre en uvre différents types de filets de Pétri, qui sont des langages de modélisation mathématiques décrivant les systèmes distribués. SEPIA fournit une prise en charge des graphiques bipartites dirigés, définit des filets de flux de travail colorés et crée des filets si appelés, afin de permettre à l'utilisateur d'affecter des niveaux de sécurité aux transitions et autres éléments faisant partie du processus d'exécution.

SÉPIA Logiciels associés