Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets. >

/pdf/petri-nets-properties-analysis-and-applications-43jwyjdxr0.pdf

Petri nets: Properties, analysis and applications

物件導向軟體之架構(Object-Oriented Software Construction)探討

Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engineers to carry out changes. We propose three contributions to the research field related to code and design smells: (1) DECOR, a method that embodies and defines all the steps necessary for the specification and detection of code and design smells, (2) DETEX, a detection technique that instantiates this method, and (3) an empirical validation in terms of precision and recall of DETEX. The originality of DETEX stems from the ability for software engineers to specify smells at a high level of abstraction using a consistent vocabulary and domain-specific language for automatically generating detection algorithms. Using DETEX, we specify four well-known design smells: the antipatterns Blob, Functional Decomposition, Spaghetti Code, and Swiss Army Knife, and their 15 underlying code smells, and we automatically generate their detection algorithms. We apply and validate the detection algorithms in terms of precision and recall on XERCES v2.7.0, and discuss the precision of these algorithms on 11 open-source systems.

/pdf/decor-a-method-for-the-specification-and-detection-of-code-4jig9eh1ay.pdf

DECOR: A Method for the Specification and Detection of Code and Design Smells

Petri nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri nets to researchers and practitioners, both from academia and industry, who are involved in the work in the areas of modelling and analysis of industrial types of systems, as well as those who may potentially be involved in these areas. The paper begins with an overview of applications of Petri nets, mostly industrial ones. Then, it proceeds with a description of Petri nets, properties, and analysis methods. The discussion of properties is put in the context of industrial applications. The analysis methods are illustrated using an example of a simple robotic assembly system. The performance analysis, using Petri nets, is discussed for deterministic and stochastic Petri nets. The presented techniques are illustrated by examples representing simple production systems. In addition, the paper introduces high-level Petri nets, fuzzy Petri nets, and temporal Petri nets. This is done in the context of application prospects. The paper also briefly discusses some of the reasons restricting the use of Petri nets, mostly, to academic institutions. >

/pdf/petri-nets-and-industrial-applications-a-tutorial-2z7do95d63.pdf

Petri nets and industrial applications: A tutorial

This paper surveys recent research on the application of Petri net models to the analysis and synthesis of controllers for discrete event systems. Petri nets have been used extensively in applications such as automated manufacturing, and there exists a large body of tools for qualitative and quantitative analysis of Petri nets. The goal of Petri net research in discrete event systems is to exploit the structural properties of Petri net models in computationally efficient algorithms for computing controls. We present an overview of the various models and problems formulated in the literature focusing on two particular models, the controlled Petri nets and the labeled nets. We describe two basic approaches for controller synthesis, based on state feedback and event feedback. We also discuss two efficient techniques for the on-line computation of the control law, namely the linear integer programming approach which takes advantage of the linear structure of the Petri net state transition equation, and path-based algorithms which take advantage of the graphical structure of Petri net models. Extensions to timed models are briefly described. The paper concludes with a discussion of directions for future research.

http://www.mne.psu.edu/ray/me597DESandSymbolicDyn/hollowayKroghGiua97.pdf

A Survey of Petri Net Methods for Controlled Discrete EventSystems

A methodology for the rapid prototyping of process control systems which is based on an original extension to classical Petri nets is presented. The proposed nets, called PROT nets, provide a suitable framework to support the following activities: building an operational specification model; evaluation, simulation, and validation of the model; and automatic translation into program structures. PROT nets are shown to be translatable into Ada program structures concerning concurrent processes and their synchronizations. The authors illustrate this translation in detail using, as a working example, the problem of tool handling in a flexible manufacturing system.

Process-translatable Petri nets for the rapid prototyping of process control systems

Business Process Management is called agile when it is able to react quickly and adequately to internal and external events. Agile Business Process Management requires putting the life cycle of business processes on a new paradigm. It is advocated in this paper that social software allows us to satisfy the key requirements for enabling agile BPM by applying the four features of social software: weak ties, social production, egalitarianism and mutual service provision. Organizational and semantic integration and responsiveness (of the business processes engineering, execution and management activities) have been identified as the main requirements for implementing an agile BPM life cycle. Social software may be used in the BPM life cycle in several manners and using numerous approaches. This paper presents seven among them and then analyzes the ‘support’ effects between those approaches and the underlying social software features, and the three requirements for Agile BPM. Copyright © 2011 John Wiley & Sons, Ltd.

Key challenges for enabling agile BPM with social software

As supply chain management is becoming demand driven, logistics service providers need to use real-time information efficiently and integrate new technologies into their business. Synchromodal logistics has emerged recently to improve flexibility in supply chains, cooperation among stakeholders, and utilization of resources. We survey the existing scientific literature and real-life developments on synchromodality. We focus on the critical success factors of synchromodality and six categories of enabling technologies. We identify open research issues and propose the introduction of a new stakeholder, which takes on the role of orchestrator to coordinate and provide services through a technology-based platform.

Synchromodal logistics: An overview of critical success factors, enabling technologies, and open research issues

PROTOB: an object oriented methodology for developing discrete event dynamic systems

This paper presents PROTOB, an object-oriented Computer Aided Software Engineering system based on high level Petri nets called PROT nets. It consists of several tools supporting specification, modelling and prototyping activities within the framework of the operational software life cycle paradigm. As its major application area it addresses discrete event dynamic systems, such as process control systems and communication protocols.

Giorgio Bruno

Papers

Process-translatable Petri nets for the rapid prototyping of process control systems

Key challenges for enabling agile BPM with social software

Synchromodal logistics: An overview of critical success factors, enabling technologies, and open research issues

PROTOB: an object oriented methodology for developing discrete event dynamic systems

An environment for object-oriented conceptual programming based on PROT nets