Petri Nets (PNs) is a well suited formalism to model and analyze parallel and distributed discrete event dynamic systems. Provided with adequate timed interpretation, PNs allow to build performance models in which true concurrence can be described together with synchronization and sharing phenomena. This survey paper gives a fast overview of some major topics related to net performance models, ...

The Ladder Diagram (LD) is an industry-standard programming language for constructing automated manufacturing systems (AMSs) control algorithms. Petri net (PN) theory, on the other hand, a mathematical and graphical modeling tool AMSs. Multiple types of PN-based LDs are designed AMSs with highly complicated LD structures. Thus, it necessary to propose technique that can assist in minimization s...

Petri nets are widely used for modelling systems. The different areas and goals require different types of Petri nets. Each Petri net contains beside places, transitions, and arcs several further specific elements. Furthermore, a Petri net type defines a specific firing rule. There are many different Petri net types. It is not easy to have a general view on this bulk of Petri net types. Thus, t...

State estimation of dynamic systems is a resort often used when only a subset of the state variables can be directly measured; observers are the entities computing the system state from the knowledge of its internal structure and its (partially) measured behaviour. The problem of discrete event systems (DES) estimation has been addressed in (Ramirez, 2003) and (Giua 2003); in these works the ma...

Petrify is a tool for (1) manipulating concurrent specifications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition System (TS) 1 it (1) generates another PN or STG which is simpler than the original description and (2) produces an optimized net-list of an asynchronous controller in the target gate librar...

This paper presents a Petri net (PN) analysis technique which extend the analysis capabilities of T-invariants. This technique is based on the conversion of the PN into formulas of linear logic and on the introduction of the marking into P-invariants. It allows to test if T-invariants are pertinent related to the application's constraints of marking. Our technique determines for each valid sequ...

Von Hippel-Lindau (VHL) syndrome is a hereditary condition predisposing to the development of different cancer forms, related to germline inactivation of the homonymous tumor suppressor pVHL. The best characterized function of pVHL is the ubiquitination dependent degradation of Hypoxia Inducible Factor (HIF) via the proteasome. It is also involved in several cellular pathways acting as a molecu...

-Wafer fabrication is one of the most competitive manufacturing business in the world. In order to survive from such strongly competitive environment, finding an effective schedule which can result in higher machine utilization and throughput rate, shorter cycle time, and lower WIP (Work-In-Product) inventory becomes a major task. Besides that, in order to help customers to make ordering decisi...

The paper deals with process patterns based on Coloured Petri-Nets as a process model to coordinate planning in structural engineering, e.g. geotechnical engineering. Coloured Petri-Nets are mathematically well-founded, and are often used to solve problems concerning concurrency in processes in other engineering domains. The paper introduces a new method to represent geotechnical information in...

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