The Definition of Extended High-level Timed Petri Nets
TLDR
A new net which is called Extended High Level Timed Petri Nets (EHLTPN) is introduced and it is shown how to extend High Level Petri nets (HLPN) with time, actions and interrupt mechanism to create the compact and comprehensive models for distributed embedded real-time systems.Abstract:
Many extensions of Petri nets have been proposed to model the behaviors and time relations of embedded system, yet these models are all based on some assumptions about the behaviors of embedded systems. Especially they all do not have the actual ability to model interrupt mechanism of embedded system. A new net which is called Extended High Level Timed Petri Nets (EHLTPN) is introduced in this study. It shows how to extend High Level Petri Nets (HLPN) with time, actions and interrupt mechanism. Interruptible subnets corresponding to different interruptible resources are introduced to model the behaviors and time relations of distributed embedded real-time systems. Each interruptible subnet realizes interrupt mechanism by an Interrupt Switch Transition and a set of Resuming Transitions. We give an informal description of this new model and show how this model be formally defined. A transform rule presented shows that each subnet corresponding to an interruptible resource in EHLTPN can be transformed into a behaviorally equivalent subnet of HLTPNAT with priority. This model makes it possible to create the compact and comprehensive models for distributed embedded real-time systems.read more
Citations
More filters
Journal ArticleDOI
Defining Enterprise Systems Engineering
TL;DR: In this article, a precise definition of enterprise systems engineering (ESE) is proposed, recognising it as an independent discipline and putting forth a new theoretical foundation to create or change enterprise systems.
Proceedings ArticleDOI
An intelligent control system construction using high-level time Petri net and Reinforcement Learning
TL;DR: A hybrid intelligent control system model which combines high-level time Petri net (HLTPN) and Reinforcement Learning (RL) is proposed and it is used to model a guide dog robot system which system environment is constructed using radio-frequency identification (RFID).
Book ChapterDOI
Construction and Application of Learning Petri Net
TL;DR: Fuzzy Petri net (FPN) combined Petri nets approach with fuzzy theory is a powerful modeling tool for fuzzy production rules-based knowledge systems but it is lack of learning mechanism that is the significant weakness while modeling uncertain knowledge systems.
Book ChapterDOI
Safety Assessment of Equipment Software Based on Fuzzy Petri Nets
Jiao He,Hou-Xiang Wang,Kai Nie +2 more
TL;DR: This method well combines the characteristics of specialist grading and FPN such as utility and briefness, and the result of safety assessment provides reasonable warranty for constituting corresponding safety control strategy.
References
More filters
Journal ArticleDOI
Introduction to the ISO specification language LOTOS
Tommaso Bolognesi,Ed Brinksma +1 more
TL;DR: LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general.
Dissertation
Analysis of asynchronous concurrent systems by timed petri nets
TL;DR: This thesis is concerned with the modeling and performance analysis of systems which consist of concurrently acting components, an example of which is an asynchronous pipelined processor.