نتایج جستجو برای: Hybrid Petri Nets‎

تعداد نتایج: 215437  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده ریاضی 1393

in this thesis, a structured hierarchical methodology based on petri nets is used to introduce a task model for a soccer goalkeeper robot. in real or robot soccer, goalkeeper is an important element which has a key role and challenging features in the game. goalkeeper aims at defending goal from scoring goals by opponent team, actually to prevent the goal from the opponent player’s attacks. thi...

Journal: :Discrete Event Dynamic Systems 2001
Fabio Balduzzi Angela Di Febbraro Alessandro Giua Carla Seatzu

In this paper we tackle the decidability of marking reachability for a hybrid formalism based on Petri nets. The model we consider is the untimed version of First–Order Hybrid Petri Nets: it combines a discrete Petri net and a continuous Petri net, the latter being a fluid version of a usual discrete Petri net. It is suggested that the decidability results should be pursued exploiting a hierarc...

2001
VESSELKA DURIDANOVA THORSTEN HUMMEL

The paper describes the challenges of modelling hybrid embedded systems. It discusses the problems of modelling such systems and suggests the use of hybrid Petri nets. The potential of hybrid Petri nets is shown by modelling an exemplary embedded mechatronic system with a special hybrid Petri net class using a special modelling tool.

2007
MENG ZHANG SHENGBING ZHANG DEYUAN GAO JING WANG

Since the ability to describe dynamic in high level, Petri Nets has already been used extensively in logic circuits and systems community for state analysis. As others formal methods, extending Petri Nets to analog circuits analysis requires continuous feature enhanced. In this paper, the object of study is dynamic of circuits with random nonlinear feature (such as random noise and random inter...

2014
Mostafa Herajy Fei Liu Christian Rohr

Coloured Petri nets are imperative for studying bigger biological models, particularly, those which expose repetition of components. Such models can be easily scaled by minor changes of a few parameters. Similarly, studying certain biological phenomena necessitates the existence of discrete and continuous variables as well as continuous and stochastic processes in one and the same model. Thus, ...

1999
R. Champagnat H. Pingaud R. Valette

This paper deals with the modelling of batch systems by means of high-level Petri nets. Batch systems are systems that transform a continuous raw material through continuous equipment (as heat exchanger for example) and batch equipment (for instance, batch reactor). These systems are frequently used by chemical of food industry. Batch systems deal with concurrent activities and resource allocat...

2003
Martina Svádová Zdeněk Hanzálek

In practice the systems are not only pure discrete event or pure continuous, but they are combined from discrete and continuous parts together. These systems are called hybrid systems. Hybrid Petri nets (HPNs) allow modeling and analysis of hybrid systems. Since classical HPNs cannot properly model the systems with the delays on continuous product flow, extended Hybrid Petri nets and generalize...

Journal: :Discrete Event Dynamic Systems 1998
Xenofon D. Koutsoukos Kevin X. He Michael D. Lemmon Panos J. Antsaklis

In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in dealing with concurrency and complexity issues. A brief overview of existing results on hybrid systems that are based on Petri nets is first presented. A class of timed Petri nets named programmable timed Petri nets (PTPN)...

Journal: :Discrete Event Dynamic Systems 2001
René David Hassane Alla

Petri nets (PNs) are widely used to model discrete event dynamic systems (computer systems, manufacturing systems, communication systems, etc). Continuous Petri nets (in which the markings are real numbers and the transition firings are continuous) were defined more recently; such a PN may model a continuous system or approximate a discrete system. A hybrid Petri net can be obtained if one part...

Journal: :Cybernetics and Systems 2005
Dimitri Lefebvre Philippe Thomas

Petri net models are useful tools for the modelling of discrete event systems and hybrid systems. This paper is about the parameters estimation for two classes of timed PN: Ttimed Petri nets and continuous Petri nets with variable speeds. The parameters to be estimated are either incidence, either temporal parameters. Data based and model based methods are proposed. In each case, on line and of...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید