The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in different applications to take their advantages and overcome their disadvantages in order to solve complex problems that can't be solved using a single tool. This combination is difficult, because each tool has its own Petri net representation format. Most of those tools use an English interface, which penalizes its use by not Anglo-Saxon users. To eliminate these drawbacks, we propose a new multi-languages environment based on a standard file format (PNML file format), that integrates INA and PEP tools.
Petri nets are a powerful graphical and mathematical tool for modeling, analyzing and verifying systems.
The use of computer-aided tools is a necessity for practical applications of Petri nets. Most Petri nets
research groups have their own software packages and tools to assist the drawing, analysis, and/or
simulation of various applications [
The variety of tools implies the persistence of various files formats. Users that want to combine
different tools can't use the same file to analyze the net in different tools, because each tool had its own
file format. The best way to solve this problem is the use of an interchange format that can be read by
each of the used tools [
The remainder of this paper is organized as follows. In the second section, we review some previous related works. In section 3, we present the idea, design and implementation of our proposed PNTools. In section 4, we demonstrate our tool through a case study. Finally, section 5 concludes the paper and gives some perspectives of this research work.
2.1 PNK
PNK or Petri net kernel [
The PNK can be used with any Petri nets type [
Users can create their own tools and integrate them in the PNK.
EZPetri [
Figure 1 presents EZPetri architecture.
We saw that EZPetri consists of five plug-ins: the editor to edit nets, the compiler to interchange files formats, INA Analyzer to integrate INA tool, Real time to allow using timed Petri nets analysis and PCFA for power consumption analysis framework.
The integration of PEP in EZPetri confine in the import/export of net file format, but the PEP analyzing procedures are not integrated yet.
We propose in the following our contribution to reduce the gap between members of Petri nets
community which uses different Petri net types, tools and file formats [
As it is an integrate Petri nets tools environment, PNTools can also be used to create new tools
because it is developed on an oriented object programming language Java [
To guarantee the extensibility and the flexibility of the PNTools, we implemented it on Eclipse [
PNTools is not restricted to a single Petri net type. It can use a variety of Petri nets types, since it is based on PNML file format. The following figure shows the proposed PNTools architecture.
The strategy of edition in the PNTools environment is a simple task.
In PNTools, we reduce the number of areas and bars, to simplify the use of the interface. The design of PNTools divide the interface into five modules: a menu bar, a standard buttons panel, a workspace area, a net navigation panel and a log/execution bar (See figure 3).
3
The menu bar contains some essential functions such as create new project, save it … etc. The standard buttons panel holds shortcuts to the most used menu bar functions.
Like a game, drawing nets; becomes very easy; it isn't an obligation to name places and transitions, a name is automatically attributed when an element is created. The grid in the workspace area helps users to arrange and align the net places and transitions. We can export the drawn net into a .JPG image file format.
The bar in the left of the windows (figure 6) is the net navigation panel; which contains the elements tree. It allows directly, selecting components and applying the pop up menu functions.
Finally, the log/execution bar (Like it is shown bellow) is loaded to show the project session history.
To use the multi-language interface, a window of configuration is displayed when clicking the settings button in the standard buttons panel or from file/settings menu bar element.
The displayed window is shown in the following figure.
Once displayed, we can choose the preferred language from a list. In fact, injecting a new language is not hard to do. It is only required to bring the translation file of the desired language into the installation directory.
In this window, we can specify the preferred net component options. We can also scale icons outlook for best view switching between three choices: Big, Medium and Small. 3.3
The Petri Net Markup Language (PNML) is a Petri nets XML-based interchange format. In order to
support different versions of Petri nets [
Switching between file formats is available by:
• Exploiting one of the two formats .ll_net (See [
PNML .ll_net
.pnt
To produce the PNML file, we use the JDOM [
INA (Integrated Net Analyser) [
INA is an interactive menu-driven program that allows a user to edit (in a textual form), reduce,
execute and analyze Petri nets models [
When we execute INA, the OPTIONS.ina file will be considered if it exists in the program directory. The COMMAND.ina file, in other hand, will be executed only if the answer of the question:" Same procedure as last time?" is <Y>. In this case, the stored commands of the last session are re-executed until <H> (for halt) is hold, or if all commands have been executed.
If there is no COMMAND.ina file, or the question above has been answered with <N>, the main menu appears on the screen and the selected options are displayed:
The interaction between INA and PNTools is done by passing files as parameter. So, we took a long time to realized it because of the enclosed and encapsulated INA behavior, which hides the analysis process to users. In fact, INA is run in the background and detecting task of the generated files location is not so obvious.
To analyze the net, PNTools proceeds as follows: • Create a file COMMAND.ina containing all chosen commands to run on the net, • Lunch INA for the wanted analysis, • Show the analysis results after exploiting the SESSION.ina file generated by INA.
Fig.12. INA Integration.
The PEP tool (Programming Environment based on Petri Nets) [
PEP has been implemented on Solaris 2.4, SunOS 4.1.3 and Linux. Executing PEP under Windows consumes a lot of time and effort; non specialist users can't execute this important tool on Windows. Because PNTools is developed under windows and our environment takes benefit from the portability of Eclipse platform, it can be executed on windows. For these reasons, we have chosen to integrate
The PEP system bin directory contains subprograms; each one has a well determined task. Those
subprograms can be executed as command lines under Windows. Therefore, the shell library [
Forced by the PEP nature, we have proceeded differently; the interaction is done in two directions and PNTools analyzes the net as follows:
• From PNTools to PEP, we used an explicit parameter passing by variables. PEP Subprograms are launched sequentially and use the name of the file containing the net representation to be analyzed as attribute. Each subprogram creates a result file named SDTout.
• In the opposite direction, the procedure is done through an exchange of files. Here PNTools gets results from SDTout file and displays the analysis results.
Fig.14: PEP Integration. 4
Case study
• s1: ready to accept coin • s2: coin inserted • t1: insert coin • t2: accept coin • t3: reject coin In this example, the Petri net consists of two places (s1 and s2) and three transitions (t1, t2, and t3). The place s1 has one token. In modeling any general system, the places and transitions would be given some meaningful interpretation. For example, we have given the following interpretations to this net: According to this interpretation, the net below captures the behavior of a simple vending machine. After drawing a net, analyzing it in INA; comes to run INA/Analyze from menu bar. A window appears and looks like as shown in figure 16 (a).
We can select the properties to be analyzed by choosing analyze button. Then the results are obtained as presented in figure 16 (b).
After drawing a net, analyzing it in PEP; comes to run PEP/Analyze from menu bar. A window appears and looks like as shown in figure 17 (a).
We can select properties to be analyzed by choosing “analyze button”. Then the results are obtained as presented in figure 17 (b) (French interface).
(a)
(b) This paper proposed a new multi-language environment to integrate Petri net tools. PNTOOLS is a contribution in the world of Petri net tools. We can say that PNTOOLS isn't only an environment to integrate existed tools, but it can also be a base to generate other new tools.
PNTOOLS recovers the problem of language interface and come with multi-language interface. The interface is detailed in this paper. In PNTOOLS, we have successfully integrated two of the famous Petri nets tools: INA and PEP. We believe that this integration open a new horizon in the Petri nets integration. In a future work, we plan to integrate other Petri nets tools and generate new tools. 6