A Petri net definition of a system description language

Author(s):  
Kurt Jensen ◽  
Morten Kyng ◽  
Ole Lehrmann Madsen
1981 ◽  
Vol 8 (96) ◽  
Author(s):  
Kurt Jensen ◽  
Morten Kyng ◽  
Ole Lehrmann Madsen

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


1982 ◽  
Vol 11 (153) ◽  
Author(s):  
Morten Kyng

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


2012 ◽  
Vol 58 (4) ◽  
pp. 397-402 ◽  
Author(s):  
Michał Doligalski ◽  
Marian Adamski

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


Author(s):  
Yuqi Chen ◽  
Tingxue Xu ◽  
Xiaotong Zhao ◽  
Cheng Lu

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.


2004 ◽  
Vol 1 (2) ◽  
pp. 127-151 ◽  
Author(s):  
Dragan Gasevic

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.


Author(s):  
Ramin Tavakoli Kolagari ◽  
DeJiu Chen ◽  
Agnes Lanusse ◽  
Renato Librino ◽  
Henrik Lönn ◽  
...  

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.


2013 ◽  
Vol 706-708 ◽  
pp. 1866-1870
Author(s):  
Ang Li ◽  
Jin Yun Pu

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.


2013 ◽  
Vol 427-429 ◽  
pp. 2630-2635
Author(s):  
Le Jun Zhang ◽  
Xin Deng ◽  
Lin Guo ◽  
Jian Pei Zhang ◽  
Hong Bo Li

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