Petri nets tools integration through Eclipse

The lack of a standard file format to represent Petri nets limits the reuse of models among Petri net tools. In order to reduce the impact of this limitation the Petri Net Markup Language (PNML) has been proposed. PNML is an interchange file format for Petri nets based on XML. This paper presents a framework, called EZPetri, based on PNML. EZPetri is a perspective and a set of plug-ins of the Eclipse platform. The union of Eclipse and PNML has demonstrated itself to be an effective instrument for integrating Petri net tools and applications. The paper discusses the principles of EZPetri and presents one application integrated into the framework: Power Consumption Analysis Framework. Such application has been developed with no knowledge about EZPetri. This is a demonstration of the integration facilities provided by the framework. EZPetri is thus an useful platform for combining existing Petri net tools and applications into a single environment, offering the Petri net community a new perspective of integration.

[1]  Wolfgang Reisig,et al.  Informal Introduction to Petri Nets , 1996, Applications and Theory of Petri Nets.

[2]  Sharad Malik,et al.  Power analysis of embedded software: a first step towards software power minimization , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[3]  Spiridon Nikolaidis,et al.  Current variations measurements for the estimation of software-related power consumption , 2002, IMTC/2002. Proceedings of the 19th IEEE Instrumentation and Measurement Technology Conference (IEEE Cat. No.00CH37276).

[4]  Paulo Romero Martins Maciel,et al.  Towards a Software Power Cost Analysis Framework Using Colored Petri Net , 2004, PATMOS.

[5]  Luciano Lavagno,et al.  Cosimulation-based power estimation for system-on-chip design , 2002, IEEE Trans. Very Large Scale Integr. Syst..

[6]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[7]  Alexandre Yakovlev,et al.  WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets , 2000, Real-Time Systems.

[8]  Wendy E. Mackay,et al.  CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets , 2001, ICATPN.

[9]  Jiacun Wang,et al.  Timed Petri Nets: Theory and Application , 1998 .

[10]  Kurt Jensen,et al.  An Introduction to High-Level Petri nets , 1985 .

[11]  Ekkart Kindler,et al.  The Petri Net Kernel An infrastructure for building Petri net tools , 2001, International Journal on Software Tools for Technology Transfer.

[12]  Eike Best,et al.  PEP - More than a Petri Net Tool , 1996, TACAS.

[13]  Als-Nscort.  Eclipse Platform Technical Overview , 2003 .

[14]  Don Libes.  expect: Scripts for Controlling Interactive Processes , 1991, Comput. Syst..

[15]  Alexandre Yakovlev,et al.  Modelling of Superscalar Processor Architectures with Design/CPN , 1998 .

[16]  Ekkart Kindler,et al.  Towards a Generic Interchange Format for Petri Nets - Position Paper , 2000 .

[17]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[18]  Lars Michael Kristensen,et al.  Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN , 2001 .

[19]  Peter J. Haas,et al.  Stochastic Petri Nets: Modelling, Stability, Simulation , 2002 .