Polymorphonuclear leukocytic (PNML) lipid content was studied in chronic alcoholic and normal control subjects. Chronic alcoholic subjects showed abnormal liver function and abnormal serum lipid profile. PMNL obtained from chronic alcoholic subjects exhibited decreased free cholesterol and phospholipid contents, with a significant increase in cholesterol to phospholipid ratio. Although, there w...

CPN Tools is an advanced tool for editing, simulating, and analyzing colored Petri nets. This paper discusses the fourth major release of the tool, which makes it simple to use the tool for ordinary Petri nets, including adding inhibitor and reset arcs, and PNML export. This version also supports declarative modeling using constraints, and adds an extension framework making it easy for third pa...

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 P...

Although there have been standardization efforts for more than ten years, heterogeneity of business process modelling schemas is still a big problem for business process management. This paper discusses the applicability of schema integration methodology in this context and illustrates specific integration problems by discussing the example of BPEL and PNML. Different control flow representatio...

This paper discusses the applicability of schema integration methodology for the integration of XML Schemas for business process modelling. This methodology builds upon the assumption that the integrated schema has to support queries and updates on all underlying local schemas. The heterogeneous schemas of Business Process Execution Language for Web Services (BPEL4WS) and Petri Net Markup Langu...

The Petri net standard ISO/IEC 15909 comprises 3 parts. The first one defines the most used net types, the second an interchange format for these — both are published. The third part deals with Petri net extensions, in particular structuring mechanisms and the introduction of additional, more elaborate net types within the standard. This paper focuses on the latter issue: how should a new net t...

The Petri net standard ISO/IEC 15909 comprises 3 parts. The first one defines the most used net types, the second an interchange format for these – both are published. The third part deals with Petri net extensions, in particular structuring mechanisms and the introduction of additional, more elaborate net types within the standard. This paper presents a contribution to elaborate an extension f...

Petri Nets formalism requires standardisation to facilitate the work of researchers in this field and to enable the data exchange between different Petri Nets tools through a common format. Following this, a three-part International Standard (ISO/IEC 15909) has been developed. Part 1 is devoted to terms and definitions for Place/Transition Nets and High-Level Petri Nets. It is now completed (pu...