The paper presents a Petri net infrastructure that should allow sharing Petri nets on the Semantic Web. Previous solutions only provide model interchange mechanisms between Petri net tools. The Petri net ontology is a central part of our solution. The ontology is closely related to the Petri Net Markup Language (PNML) – an ongoing Petri net community sharing effort. We developed the Petri net o...

We propose MPath2PN, a tool which automatically translates metabolic pathways, as described in the major biological databases, into corresponding Petri net representations. The aim is to allow for a systematic reuse, in the setting of metabolic pathways, of the variety of tools existing for Petri net analysis and simulation. The current prototype implementation of MPath2PN inputs the KEGG descr...

This paper proposes the use of XML Petri Nets (PNML), a kind of high-level Petri Nets, for modeling, development, management and performance Web-based systems, e-Activities like e-Business, Business-to-Business (B2B), e-Commerce and mobile applications wireless in the Web or ad-hoc networks. The combination of Petri Nets and XML (Extensible Markup Language) files are emerging as an important ap...

Although there have been standardization efforts for more than 10 years, heterogeneity of business process modelling (BPM) schemas is still a big problem for business process management. This paper illustrates the integration problems by discussing the example of BPEL and PNML. It highlights different control flow representations as a major challenge in this area. Using classical schema integra...

-The main purpose of this study was twofold. First, it adopted the theory of task ontology to build up a three-level mediating representation for a task analysis and the task of “Manage goods and materials” served as an example. Five phases, task analysis, task ontology, IDEF0 model, Petri net model, and PNML, are displayed for domain experts and can further transfer for computer to generate co...

The ePNK is a platform for Petri net tools based on the PNML transfer format. One of its important features is its extensibility, which allows developers to plug in new Petri net types and new functions and applications for different kinds of Petri nets. The basic version of the ePNK provides an editor for high-level Petri nets, but no analysis or simulation functionality. In this paper, we pre...

In a previous work we have proposed an extension to the four-layer MDA architecture promoting formal verification for semantics preserving model transformations. We analyzed semantics equivalence in transformations involving Platform Specific Models (PSM s). In this paper, considering concurrent systems domain, we show how this extended MDA architecture copes with the correctness verification o...

It has been repeatedly observed [Zooko, Shirky, PNML, Close] that global namespaces suffer from a variety of difficulties. While different analyses have focused on different problems, the conclusion emerges that global names are often overloaded with too many purposes, purposes that come into conflict as the system reaches global scale. One representation of the conflict is, global namespaces a...

The rmage processing involves many compuial~on on a Eargt data volume. I V c shorn that the "dtczde and canqucr" mrihod may br uacd 80 decreose t h r CEPcution hmc of a lgonfhms. LVe need la hove a suttable topology l o profit jully of dalo pnml!elrsrn. The lapologrca oa mcah or pyrnrntd arc loo much r e s t m ~ ntng on the parsrh~ltt~cs af allowed m o r e m ~ n t dala . I n other w a y the h y...