Il s'agit de l'application Linux nommée PetriNetExec : Java Embeddable Petri Nets dont la dernière version peut être téléchargée en tant que PetriNetExec-0.1.3.77.zip. Il peut être exécuté en ligne dans le fournisseur d'hébergement gratuit OnWorks pour les postes de travail.
Téléchargez et exécutez en ligne gratuitement cette application nommée PetriNetExec : Java Embeddable Petri Nets with OnWorks.
Suivez ces instructions pour exécuter cette application :
- 1. Téléchargé cette application sur votre PC.
- 2. Entrez dans notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous voulez.
- 3. Téléchargez cette application dans ce gestionnaire de fichiers.
- 4. Démarrez l'émulateur en ligne OnWorks Linux ou Windows en ligne ou l'émulateur en ligne MACOS à partir de ce site Web.
- 5. Depuis le système d'exploitation OnWorks Linux que vous venez de démarrer, accédez à notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous souhaitez.
- 6. Téléchargez l'application, installez-la et exécutez-la.
PetriNetExec : réseaux de Petri intégrables Java
Ad
DESCRIPTION
En bref, PetriNetExec est une bibliothèque Java open source qui vous permet d'intégrer des réseaux Petri dans votre application Java.
En utilisant PetriNetExec, vous pouvez définir des lieux et des transitions, les connecter à l'aide d'arcs et d'inhibiteurs, définir le marquage initial, puis déclencher des événements et voir comment les jetons circulent dans le réseau.
* PetriNetExec ne fournit pas d'interface graphique pour éditer le réseau et ne le fournira pas dans un proche avenir. Ce n'est pas vraiment une fonctionnalité :-) mais à ceux d'entre vous capables de faire face à cette nouvelle, je suggère de lire plus loin ;
* Les réseaux de Petri sont créés avec PetriNetExec en écrivant du code Java et en utilisant l'API fournie ;
* PetriNetExec fournit un mécanisme de rappel simple mais puissant vous permettant de faire quelque chose lorsque des événements sont déclenchés et que l'état du réseau change.
* PetriNetExec est intégrable dans votre application Java. Cela signifie que vous pouvez créer votre propre application et y ajouter des réseaux de Petri.
* PetriNetExec est open source.
Audience
Science/Recherche, Éducation, Développeurs
Interface utilisateur
Non interactif (Daemon)
Langage de programmation
Java
Il s'agit d'une application qui peut également être récupérée sur https://sourceforge.net/projects/petrinetexec/. Il a été hébergé dans OnWorks afin d'être exécuté en ligne de la manière la plus simple à partir de l'un de nos systèmes d'exploitation gratuits.