Static analysis of concurrent processes for dynamic properties using Petri Nets

2005 ◽  
pp. 66-90 ◽  
Author(s):  
Otthein Herzog
Keyword(s):  
Petri Nets ◽  
Static Analysis ◽  
Dynamic Properties ◽  
Concurrent Processes

scholarly journals An Introduction to the Theoretical Aspects of Coloured Petri Nets

1994 ◽  
Vol 13 (476) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Programming Languages ◽  
Dynamic Properties ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Human Beings ◽  
Data Types ◽  
Industrial Projects ◽  
Concurrent Processes ◽  
Definition Of

<p>This paper presents the basic theoretical aspects of Coloured Petri Nets (CP-nets or CPN). CP-nets have been developed, from being a promising theoretical model, to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or computers communicate by means of some more or less formal rules). The paper contains the formal definition of CP-nets and their basic concepts (e.g., the different dynamic properties such as liveness and fairness). The paper also contains a short introduction to the analysis methods, in particular occurrence graphs and place invariants.</p><p>The development of CP-nets has been driven by the desire to develop a modelling language - at the same time theoretically well-founded and versatile enough to be used in practice for systems of the size and complexity that we find in typical industrial projects. To achieve this, we have combined the strength of Petri nets with the strength of programming languages. Petri nets provide the primitives for the description of the synchronisation of concurrent processes, while programming languages provide the primitives for the definition of data types and the manipulation of their data values.</p>

scholarly journals Combined approach architecture development to simulation modeling of systems with parallelism

2021 ◽  
Vol 4 (4(112)) ◽  
pp. 74-82
Author(s):  
Oksana Suprunenko
Keyword(s):  
Petri Nets ◽  
Dynamic Properties ◽  
Discrete Event ◽  
Structural Similarity ◽  
Integral Model ◽  
Combined Approach ◽  
Dynamic Simulations ◽  
Holistic Model ◽  
Event Modeling ◽  
Analytical Tools

Paradigms and graphical-analytical tools for building simulation tools and forming the architecture of a combined approach to studying the dynamic properties of systems with parallelism are described. An extension of the formal language of Petri nets is presented, which has greater modeling power than WF nets. The properties of hierarchical Petri nets are used to synthesize a holistic model. Discrete-event modeling and modeling of dynamic systems, which allow reflecting the quantitative and qualitative characteristics of the elements of the systems under study, served as the basis for the combined approach to the simulation of systems with parallelism. On their basis, graphic-analytical tools are proposed that provide the ability to describe the modeled system, adhering to the principle of structural similarity. They have dynamic simulations that make it easy to visually analyze and correct the model. Also, the proposed toolkit provides for the analysis of the dynamic properties of the model, which makes it possible to identify accumulated phenomena that can lead to unpredictability of the system’s functioning. A conceptual model for the synthesis and analysis of systems with parallelism is proposed, which provides for the construction of the components of the model based on the architecture. Their step-by-step analysis and the formation of an integral model of the software system are carried out using a network representation, according to the matrix description of which invariants are calculated. The analysis of invariants allows one to obtain the dynamic properties of the model and determine the localization of structures that lead to critical situations when they are detected. The architecture of the combined approach to the simulation of systems with parallelism is built, which provides the study of their dynamic properties to improve the reliability of the functioning of software systems

Design and Implementation of Distributed Autonomous Coordinators for Cooperative Multi-Robot Systems

2020 ◽  
pp. 324-339
Author(s):  
Gen'ichi Yasuda
Keyword(s):  
Petri Nets ◽  
Discrete Event ◽  
Task Planning ◽  
Multiple Robots ◽  
Robot Systems ◽  
Consistent Manner ◽  
Concurrent Processes ◽  
Robot Cooperation ◽  
The Individual ◽  
Multi Robot

The paper presents a systematic method of the design of cooperative task planning and execution for complex robotic systems using multiple robots. Because individual robots can autonomously execute their dedicated tasks, in cooperative multi-robot systems, robotic activities should be designed as discrete event driven asynchronous, concurrent processes. Further, since robotic activities are hierarchically defined, control requirements should be specified in a proper and consistent manner on different levels of control abstraction. In this paper, Petri nets are adopted as a specification tool for task planning and execution by multiple robots. Based on place/transition Petri nets, control conditions for inter-robot cooperation with synchronized interaction are represented, and control rules to achieve distributed autonomous coordinated activities with synchronous and asynchronous communication are proposed. An implementation of net based control software on hierarchical and distributed architecture is presented for an example multi-robot cell, where the higher-level controller executes a global net model of task plan representing cooperative behaviors performed by the robots, and the parallel activities of the individual robots are synchronized through the transmission of requests and the reception of status between the associated lower-level local controllers.

Hypergraph construction and its application to the static analysis of concurrent systems

2002 ◽  
Vol 12 (2) ◽  
pp. 149-175 ◽  
Author(s):  
BARBARA KÖNIG
Keyword(s):  
Petri Nets ◽  
Static Analysis ◽  
Type Systems ◽  
Concurrent Systems ◽  
Process Calculus ◽  
Rewrite Rules ◽  
Construction Operation ◽  
Process Graphs

We define a construction operation on hypergraphs based on a colimit and show that its expressiveness is equal to the graph expressions of Bauderon and Courcelle. We also demonstrate that by closing a set of rewrite rules under graph construction we obtain a notion of rewriting equivalent to the double-pushout approach of Ehrig. The usefulness of our approach for the compositional modelling of concurrent systems is then demonstrated by giving a semantics of process graphs (corresponding to a process calculus with mobility) and of Petri nets. We introduce on the basis if a hypergraph construction, a method for the static analysis of process graphs, related to type systems.

scholarly journals A hierarchical decomposition of decision process Petri nets for modeling complex systems

2010 ◽  
Vol 20 (2) ◽  
pp. 349-366 ◽  
Author(s):  
Julio Clempner
Keyword(s):  
Complex Systems ◽  
Petri Nets ◽  
Decision Process ◽  
Dynamic Properties ◽  
Decomposition Process ◽  
Final Decision ◽  
Hierarchical Decomposition ◽  
Decision Points ◽  
Hierarchical Decision ◽  
Global Equilibrium

A hierarchical decomposition of decision process Petri nets for modeling complex systemsWe provide a framework for hierarchical specification called Hierarchical Decision Process Petri Nets (HDPPNs). It is an extension of Decision Process Petri Nets (DPPNs) including a hierarchical decomposition process that generates less complex nets with equivalent behavior. As a result, the complexity of the analysis for a sophisticated system is drastically reduced. In the HDPPN, we represent the mark-dynamic and trajectory-dynamic properties of a DPPN. Within the framework of the mark-dynamic properties, we show that the HDPPN theoretic notions of (local and global) equilibrium and stability are those of the DPPN. As a result in the trajectory-dynamic properties framework, we obtain equivalent characterizations of that of the DPPN for final decision points and stability. We show that the HDPPN mark-dynamic and trajectory-dynamic properties of equilibrium, stability and final decision points coincide under some restrictions. We propose an algorithm for optimum hierarchical trajectory planning. The hierarchical decomposition process is presented under a formal treatment and is illustrated with application examples.

Static analysis of systems: a methodology based on timed Petri nets

1991 ◽  
Vol 2 (2) ◽  
pp. 110-115 ◽  
Author(s):  
G.K. HUTCHINSON ◽  
A.T. CLEMENTSON
Keyword(s):  
Petri Nets ◽  
Static Analysis ◽  
Timed Petri Nets

Concurrent Processes and Petri Nets

1995 ◽  
pp. 47-108 ◽  
Author(s):  
Wilfried Brauer ◽  
Robert Gold
Keyword(s):  
Petri Nets ◽  
Concurrent Processes

Dynamic Properties Analysis of Electromagnetic Gear Driving System

2010 ◽  
Vol 34-35 ◽  
pp. 422-428
Author(s):  
Hai Hong Chen ◽  
Jun Chen
Keyword(s):  
Theoretical Analysis ◽  
Dynamic Model ◽  
Static Analysis ◽  
Dynamic Characteristics ◽  
Torsional Vibration ◽  
Dynamic Properties ◽  
Dynamic Performance ◽  
Mechanical Vibration ◽  
Performance Parameter ◽  
Driving System

Electromagnetic gear realize non-touching driving technology, which is non-friction and non- lubrication. Based on the FEM static analysis, creating torsional vibration dynamic model for the electromagnetic gear system with the theory and method of mechanical vibration to makes research on the dynamic performance parameter. The system makes motion stimulation by utilizing the Simulink module of MATLAB. Then, a conclusion is made through the theoretical analysis. The analysis provides some reference for the futher study of the dynamic characteristics of the magnetic gear driving system.

Sign in / Sign up

Export Citation Format

Share Document