Abstract. The problem of refining a Petri net (PN) discovered from a single sequence S of events T generated by discrete event processes is addressed. The refinement aims to reduce a possible exceeding language in the discovered model. A technique that extends a t-invariant based discovery method is presented. Given a discovered PN and its set of minimal t-invariants Y, the technique analyses t...

This paper gives the Petri net ontology as the most important element in providing Petri net support for the Semantic Web. Available Petri net formal descriptions are: metamodels, UML profiles, ontologies and syntax. Metamodels are useful, but their main purpose is for Petri net tools. Although the current Petri-net community effort Petri Net Markup Language (PNML) is XMLbased, it lacks a preci...

To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...

The basic concepts of the Petri Net Baukastenn are introduced. The Petri Net Baukastenn is a Petri net technology and provides Petri net techniques. The Petri Net Baukastenn is consists of the Common Base and three diierent views, the Application Developer View, the Tool Developer View, and the Expert View. The main focus is to support the application developer and the tool developer as well as...

In this paper, we consider the liveness enforcement problem in a class of Petri nets (PN) modeling distributed systems. They are called synchronized sequential processes (SSP). The presented design algorithm is based on construction control PN, an abstraction relations T-semiflows, and buffers original nonstructurally live PN. control PN evolves parallel with system, avoiding firi...

The concept of a Petri net, a tool for the study of certain discrete dynamical systems, was invented in 1939 by Carl Adam Petri. In the attempt to characterize Boolean Petri nets, we discovered a subclass of Boolean Petri net called the crisp Boolean Petri net, viz. , the one that generates every binary vector as its marking vectors exactly once. In this paper, the construction of a crisp Boole...

Industrial discrete event dynamic systems (DEDSs) are commonly modeled by means of Petri nets (PNs). PNs have the capability to model behaviors such as concurrency, synchronization, and resource sharing, compared a step transition function chart or GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) which is particular case PN. However, there not an effective systematic way implement PN i...

In this chapter, we explain new techniques and technologies applied to the control of a flexible manufacturing cell. We have proposed a new control platform: a Java based Programmable Logic Controller (PLC). The Java PLC comprises several modules where the real time control, the communication with industrial fieldbuses and the supervision via web technologies have been developed. This control a...