A Petri net definition of a system description language

2005 ◽  
pp. 348-368 ◽  
Author(s):  
Kurt Jensen ◽  
Morten Kyng ◽  
Ole Lehrmann Madsen
Keyword(s):  
Petri Net ◽  
Description Language ◽  
System Description ◽  
Definition Of

scholarly journals A Petri Net Definition of a System Description Language

1981 ◽  
Vol 8 (96) ◽  
Author(s):  
Kurt Jensen ◽  
Morten Kyng ◽  
Ole Lehrmann Madsen
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Formal Model ◽  
Concurrent Systems ◽  
Formal Definition ◽  
Concurrent System ◽  
Description Language ◽  
System Description ◽  
Definition Of ◽  
Further Development

<p>This paper introduces a language, Epsilon, for the description of systems with concurrency, and presents a formal definition of Epsilon's semantics. The language is based on Delta ‹ the first major attempt to create a language solely aimed at system description without the restrictions placed on languages executable on digital computers. The design of Delta was itself heavily influenced by the experience from the development and use of Simula.</p><p>It is not obvious what kind of semantics a system description language should have. The situation is more complex than with normal algorithmic languages and none of the existing semantic approaches appear to be satisfactory.</p><p>To clarify the situation, we first describe the language Epsilon, which contains only a few basic primitives. Then we define the semantics of Epsilon by means of a formal model based on Petri nets. The model called ''Concurrent systems'' is an extension of Petri nets with a data part and with expressions attached to transitions and to places. The model is a further development of formalisms proposed by R.M. Keller and A. Mazurkiewicz. The expressions attached to places is a novel feature and is used to define continuous transformations on the data part. The semantics of a given system description is defined in terms of firing sequences of the corresponding concurrent system.</p><p>To be presented at the Evian Conference on Semantics of Concurrent Computations, July 1979.</p>

scholarly journals Specification and Verification of Networks in a Petri Net based Language

1982 ◽  
Vol 11 (153) ◽  
Author(s):  
Morten Kyng
Keyword(s):  
Distributed Systems ◽  
Petri Net ◽  
Predicate Logic ◽  
Description Language ◽  
Top Down ◽  
System Description ◽  
First Order ◽  
The Third ◽  
Concurrent Objects ◽  
Specification And Verification

<p>In this paper we present a system description language and a technique of top-down specification and verification of distributed systems. Our language is called Epsilon, and it has been developed for the description and analysis of systems containing concurrent components.</p><p>We have used and developed concepts from the Simula and Delta languages and from Petri net theory. A system described in Epsilon consists of a number of concurrent objects. Each object has a set of attributes, e.g. variables and procedures, and executes a sequence of actions. Epsilon includes both normal algorithmic statements and first order predicate logic as description elements.</p><p>An abbreviated version of this paper has been presented at the third European Workshop on Applications and Theory of Petri Nets, Springer Informatik Fachberichte 66.</p>

Hierarchical Configurable Petri Net Modeling in VHDL

2012 ◽  
Vol 58 (4) ◽  
pp. 397-402 ◽  
Author(s):  
Michał Doligalski ◽  
Marian Adamski
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Control Process ◽  
Discrete Control ◽  
Dual Model ◽  
Description Language ◽  
Direct Support ◽  
Hardware Description ◽  
Logical Synthesis ◽  
State Machine Diagram

Abstract The paper presents method for hierarchical configurable Petri nets description in VHDL language. Dual model is an alternative way for behavioral description of the discrete control process. Dual model consists of two correlated models: UML state machine diagram and hierarchical configurable Petri net (HCfgPN). HCfgPN are Petri nets variant with direct support of exceptions handling mechanism. Logical synthesis of dual model is realized by the description of HCfgPN model by means of hardware description language. The paper presents placesoriented method for HCfgPN description in VHDL language

scholarly journals Modeling and analysis of mission thread of weapon system of systems based on O-PPN

2021 ◽  
Vol 39 (1) ◽  
pp. 197-207
Author(s):  
Yuqi Chen ◽  
Tingxue Xu ◽  
Xiaotong Zhao ◽  
Cheng Lu
Keyword(s):  
Petri Net ◽  
Success Probability ◽  
Failure Criteria ◽  
Performance Degradation ◽  
Operation Performance ◽  
Modeling And Analysis ◽  
Reliability Parameters ◽  
Mission Success ◽  
Definition Of ◽  
Equipment System

Aiming at the problem that the current WSoS mission modeling and analysis methods are difficult to describe the property of multi-state of each equipment system, combining with Petri net and Markov process, an O-PPN based mission thread modeling and analysis method is proposed in this paper. Based on the definition of WSoS, the mission of WSoS is formally described. To improve the traditional Petri net, an operation performance Petri net (O-PPN) is constructed, in order to meet the modeling needs of the general mission thread of the WSoS; and aiming at the problems of the performance degradation of the equipment system and the possible "ahead of time" state, the performance degradation model of the equipment system based on Markov is constructed. The corresponding state probability set is obtained by inputting the reliability parameters of each equipment system. And according to the requirements of each operation in the mission thread for the performance level of each equipment system and combined with the mission success and failure criteria of the combat task and operation, the mission success probability of the whole WSoS is calculated. Finally, the feasibility of the proposed method is verified by the simulation of the case.

scholarly journals Petri nets on the semantic web guidelines and infrastructure

2004 ◽  
Vol 1 (2) ◽  
pp. 127-151 ◽  
Author(s):  
Dragan Gasevic
Keyword(s):  
Semantic Web ◽  
Petri Net ◽  
Ontology Language ◽  
Uml Profiles ◽  
Community Effort ◽  
Model Sharing ◽  
Petri Net Markup Language ◽  
Description Framework ◽  
Definition Of ◽  
Resource Description

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 XML-based, it lacks a precise definition of semantics. Existing Petri net ontologies are partial solutions specialized for a specific problem. In order to show current Petri net model sharing features we use P3 tool that uses PNML/XSLT-based approach for model sharing. This paper suggests developing the Petri net ontology to represent semantics appropriately. This Petri net ontology is described using UML, Resource Description Framework (Schema) RDF(S) and the Web Ontology Language-OWL.

scholarly journals Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL

2015 ◽  
Vol 3 (2) ◽  
pp. 25-70 ◽  
Author(s):  
Ramin Tavakoli Kolagari ◽  
DeJiu Chen ◽  
Agnes Lanusse ◽  
Renato Librino ◽  
Henrik Lönn ◽  
...  
Keyword(s):  
Description Language ◽  
System Description ◽  
Architecture Description Language ◽  
Model Based ◽  
Technology Products ◽  
Short Time Span ◽  
Development Processes ◽  
Architecture Description ◽  
Short Time ◽  
Model Based Analysis

Modern cars have turned into complex high-technology products, subject to strict safety and timing requirements, in a short time span. This evolution has translated into development processes that are not as efficient, flexible and agile as they could or should be. This paper presents the main aspects and capabilities of a rich model-based design framework, founded on EAST-ADL. EAST-ADL is an architecture description language specific to the automotive domain and complemented by a methodology compliant with the functional safety standard for the automotive domain ISO26262. The language and the methodology are used to develop an information model in the sense of a conceptual model, providing the engineer the basis for specifying the various aspects of the system. Inconsistencies, redundancies, and partly even missing system description aspects can be found automaticlally by advanced analyses and optimization capabilities to effectively improve development processes of modern cars.

Damaged Ship Anti-Flooding Decision Plan Intelligent Generation System Based on Petri Net and Heuristic Color Genetic Algorithm

2013 ◽  
Vol 706-708 ◽  
pp. 1866-1870
Author(s):  
Ang Li ◽  
Jin Yun Pu
Keyword(s):  
Genetic Algorithm ◽  
Petri Net ◽  
Search Efficiency ◽  
Generation System ◽  
Plan Generation ◽  
Intelligent Decision ◽  
Balance Decision ◽  
Definition Of ◽  
Algorithm Search ◽  
Damaged Ship

No matter in the wartime or in the peace time, the intelligent generation system of damaged ship anti-flooding decision plan is an important tool to guarantee ship survivability and safety. The intelligent decision plan generation system which has high search efficiency plays an important role in recovering the buoyancy and stability indicts of damaged ship. The intelligent decision plan generation system introduced in this paper contains Petri net model and heuristic color genetic algorithm. The Petri net is used to model the ship anti-flooding decision process and the heuristic color genetic algorithm is used to solve intelligent hull balance decision problem. The traditional genetic algorithm is improved according to the special demand of hull balance. Based on the definition of the colored gene and the foundation of the heuristic search rules, the heuristic color genetic algorithm is given to improve the traditional genetic algorithm search efficiency.

The Data Fusion Survivability Analysis Technology of Wireless Sensor Network

2013 ◽  
Vol 427-429 ◽  
pp. 2630-2635
Author(s):  
Le Jun Zhang ◽  
Xin Deng ◽  
Lin Guo ◽  
Jian Pei Zhang ◽  
Hong Bo Li
Keyword(s):  
Wireless Sensor Network ◽  
Data Fusion ◽  
Sensor Network ◽  
Petri Net ◽  
Theoretical Basis ◽  
Simulation Experiment ◽  
Wireless Sensor ◽  
Analysis Model ◽  
Fusion Model ◽  
Definition Of

This paper presents the data fusion survivability analysis model of wireless sensor network (WSN) based on stochastic Petri net (SPN). First, the definition of data fusion survivability is put forward, and the data fusion model of WSN is constructed. Second, the SPN modeling method of security events, which influences the WSN, is described. Lastly, simulation experiment proves the correctness and effectiveness of the modeling of WSN data fusion survivability analysis based on SPN. This model can provide the theoretical basis and guide for designing a survivable WSN.

Sign in / Sign up

Export Citation Format

Share Document