HOME ProgrammingComponents and Libraries PetriNetExec
- 573.0 KB
- Bogdan Tarnauca
Description of PetriNetExec 0.1.3.77:
PetriNetExec was developed as an accessible and Open Source library that allows its users to embed Petri Nets into Java applications. Using PetriNetExec, users can define places / transitions and connect them with the help of arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network. PetriNetExec is a Java library which allows you to embed Petri Nets into your Java application. Using PetriNetExec you can define places and transitions, connect them using arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network. There are a couple of sites providing such solutions and they are doing a great job. What makes PetriNetExec different from the other solutions (at least to my knowledge) is the sum of the following attributes: * PetriNetExec does not provide a GUI for editing the network nor will it provide in the near future. That is not really a feature :-) but to those of you able to cope with this news I suggest to read further; * Petri Nets are created with PetriNetExec by writing Java code and using the provided API; * PetriNetExec provides a simple yet powerful callback mechanism allowing you to actually do something when events are fired and the network status is changing. This is very convenient as we will later explain; * PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it. Why is this useful? it will be explained later as well. PetriNetExec is: * a Java library for embedding Petri Nets into java applications; * an open source project * ...well that's pretty much of it. Stay tunned to see how you can use it.
Supported OS: Windows XP