Menu
▾
▴
Tree [10f3b7] master / History
issam
Read Me
** PTNET Editor
** A place/transition Net EDITOR
**
** License: GPLv2 http://www.gnu.org/licenses/gpl-2.0.html
**
** (C) 2013 Issam Abdallah (iabdallah@yandex.com)
**
**************************************************************
The application has been developed and tested under the
GNU/Linux OpenSUSE 12.3.
I. Compile the application
==========================
The application is based on Qt 4.8.4 and it uses:
1. the boost graph library (BGL) to construct the coverability graph
2. the GraphViz library to layout the graph.
To compile the source code you have to install the two latter
libraries.
II. PNML
=========
To open and validate PNML documents using the applicaton proceed as follow:
1. Download the PNML grammar from: http://www.pnml.org/grammar.php.
2. To convert the RELAX NG files of the grammar to XML schemas use Trang
3. Download Trang from: http://code.google.com/p/jing-trang/downloads/list.
4. In the directory /home/~Download/Trang, create 2 folders and name them : "rng" and "xsd".
5. copy the files : "ptnet.rng", "conventions.rng", "anyElement.rng" and "pnmlcoremodel.rng"
from the PNML grammar directory to the "Trang/rng" directory.
6. open a terminal in "/home/~Download/Trang" directory.
7. use the following command to convert RNG to XSD: java -jar trang.jar -I rng -O xsd rng/ptnet.rng xsd/ptnet.xsd
8. Copy the 4 generated xsd files ("ptnet.rng", "conventions.rng", "anyElement.rng" and "pnmlcoremodel.rng")
to the directory "ptnet/schemas".
9. Open the file "anyElement.xsd" and replace the tag:
<xs:group name="anyElement">
<xs:sequence>
<xs:any processContents="skip"/>
</xs:sequence>
</xs:group>
By the following:
<xs:group name="anyElement">
<xs:sequence>
<xs:choice>
<xs:element name="placeCapacity" >
<xs:complexType>
<xs:attribute name="capacity" type="xs:positiveInteger"/>
</xs:complexType>
</xs:element>
<xs:element name="rotation">
<xs:complexType>
<xs:attribute name="degree" type="xs:decimal"/>
</xs:complexType>
</xs:element>
</xs:choice>
</xs:sequence>
</xs:group>
Enjoy :)
