Figure 5 - available via license: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International
Content may be subject to copyright.
Source publication
Currently, Model-Driven Engineering (MDE) plays a key role in the software development process as it aims to handle their increasing complexity and focuses on the automatic generation of code and/or specifications from system models. This paper presents a very useful tool for the automatic generation of Maude specifications from both Petri net PNML...
Contexts in source publication
Context 1
... principle is illustrated in Figure 3. In the present work, XSLT functions and operators are used to navigate, select nodes from an PNML document, and then generate a purified file (see Figure 5(b)) that contains five blocks describing the set of Petri net places, transitions, and arcs. The purified file is thereafter PN2Maude: Maude specification for Petri net models … used for the generation of Petri net matrix description. ...
Context 2
... Purification: It allows extracting more or less essential information, such as Petri net places, transitions, arcs as well as the initial marking in order to facilitate the operation of creating the incidence matrices. Figure 5(a)) shows the XSLT code developed to navigate and select the essential nodes describing the Petri net from the input PNML file. Subsequently and in order to facilitate the creation of PRE and POST matrices, these nodes (see Figure 5(b))) are organized into five blocks describing lists of places with their initial markings, transitions, input arcs, inhibiting arcs, and out arcs, respectively. ...
Context 3
... 5(a)) shows the XSLT code developed to navigate and select the essential nodes describing the Petri net from the input PNML file. Subsequently and in order to facilitate the creation of PRE and POST matrices, these nodes (see Figure 5(b))) are organized into five blocks describing lists of places with their initial markings, transitions, input arcs, inhibiting arcs, and out arcs, respectively. ...
