13,588 Hits in 4.1 sec

Modeling Hybrid Systems with Petri Nets [chapter]

Debjyoti Bera, Kees van Hee, Henk Nijmeijer
2015 Advances in Intelligent Systems and Computing  
On the other hand, Colored Petri Nets (CPN) is a well-known formalism for modeling behavior of discrete event systems.  ...  In this paper, we show how the CPN formalism can be used to model a hybrid system. Then we consider the special case of Simulink/Stateflow models and show how they can be expressed in CPN.  ...  In this paper, we present a method to model hybrid systems with the formalism and tools of Colored Petri Nets (CPN) [16] .  ... 
doi:10.1007/978-3-319-26470-7_2 fatcat:hlmrg2snbncbzfsjoqkscszs7a

Modeling of Systems with Delays Using Hybrid Petri Nets

Martina Svádová, Zdeněk Hanzálek
2003 IFAC Proceedings Volumes  
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 generalized batches Petri nets (GBPNs) were defined.  ...  CONCLUSION This article shows how the systems with the continuous flows delays can be modeled by extended hybrid Petri Nets.  ... 
doi:10.1016/s1474-6670(17)34665-7 fatcat:srvelsufqnhfhevexqc7pk2pau

Modeling and simulation of multi-scale environmental systems with Generalized Hybrid Petri Nets

Mostafa Herajy, Monika Heiner
2015 Frontiers in Environmental Science  
Thus, modeling environmental systems with hybrid Petri nets enables the construction of complex processes while keeping the models comprehensible for researchers working on the same project with significantly  ...  In this paper we propose the utilization of a special class of hybrid Petri nets, Generalized Hybrid Petri Nets (GHPN ), to model and simulate environmental systems exposing processes interacting at different  ...  / 2015.00053 Supplemental Data Supplemental material (S1) contains the constant coefficients required to specify transition rates of the Chagas disease model  ... 
doi:10.3389/fenvs.2015.00053 fatcat:62tdsppj2fc27jw5slhxmpcoti

Service Reliability And Availability Model With Petri Nets: A New Hybrid Approach For Service Availability

Lucrezia Palummo, Rachele Meriggiola, Emanuele Guidolotti, Damiano De Luca
2017 INCOSE Italia Conference on Systems Engineering  
Availability) Model, including a service simulation model based on hybrid Petri Nets.  ...  In the proposed approach the service and its invoked system components are represented through Hybrid Petri Nets where the SW/HW failures have been modeled with stochastic distribution through kinematic  ...  Sorge and System Engineering team from ASTER for the provided support and the constructive comments. The authors are grateful for support to A.  ... 
dblp:conf/ciise/PalummoMGL17 fatcat:wvrey7fj4fartgbkqzt5jpy3bm

Modeling, analysis, synthesis, and performance evaluation of multioperational production systems with hybrid timed Petri nets

G.J. Tsinarakis, N.C. Tsourveloudis, K.P. Valavanis
2006 IEEE Transactions on Automation Science and Engineering  
The overall complexity of most existing Petri net modeling and analysis approaches for production systems increases significantly with the size and the complexity of the considered system.  ...  Hybrid timed Petri nets (HTPNs) are derived to study random topology and complexity multioperational production systems where parts of one type follow the same route to produce a final product.  ...  FUNDAMENTAL MODULES HYBRID PETRI NET MODELS A.  ... 
doi:10.1109/tase.2005.857655 fatcat:ob36dnsahvf7rhbdp6bu4awgyy

Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension

Chen Li, Masao Nagasaki, Kazuko Ueno, Satoru Miyano
2009 BMC Systems Biology  
We propose a novel method of modeling and simulating biological systems with the use of model checking approach based on the hybrid functional Petri net with extension (HFPNe) as the framework dealing  ...  are hard to make on a discrete model because these hybrid lineages occur when a system comes close to certain threshold as discussed by Sternberg and Horvitz in 1986.  ...  In order to quantitatively model this biological systems, we use hybrid functional Petri net with extension (HFPNe) [4] that is an enhanced Petri net architecture which best meets the features of biological  ... 
doi:10.1186/1752-0509-3-42 pmid:19393101 pmcid:PMC2691733 fatcat:uhpdg3p7o5cjvfrnvfamst7lj4

Modelling and Simulation for Production Logistics System in Industrial Enterprises Based on Hybrid Network

N. Xiao, C. D. Ni, S. J. Guo
2017 International Journal of Simulation Modelling  
For these complicated industrial production logistics systems, this paper has set up a new hybrid Petri network model based on the common hybrid Petri network and with a combination of differential Petri  ...  net and controlled Petri net.  ...  as the modelling object to study: (1) A new hybrid Petri net model has been established based on common hybrid Petri net and with a combination of differential Petri net and controlled Petri net, and  ... 
doi:10.2507/ijsimm16(1)co3 fatcat:72vhdtncwvdndi4jt457f7gbje

New Software Tool for Modeling and Control of Discrete-Event and Hybrid Systems Using Timed Interpreted Petri Nets

Erik Kučera, Oto Haffner, Peter Drahoš, Ján Cigánek, Roman Leskovský, Juraj Štefanovič
2020 Applied Sciences  
Due to their versatility in modeling discrete-event systems, Petri nets are an important support in creating new platforms for digitized production systems.  ...  To accomplish these tasks, a new tool called PN2ARDUINO based on Petri nets is proposed able to communicate with the microcontroller.  ...  Acknowledgments: We would like to thank to Alžbeta Češeková for helping with programming the implementation. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/app10155027 fatcat:teppmetv2zf3bgcoqcaj2f2yby

Coloured hybrid Petri nets for systems biology

Mostafa Herajy, Fei Liu, Christian Rohr
2014 Applications and Theory of Petri Nets  
Thus, hybrid modelling and simulation is indispensable to deal with these challenges.  ...  In this paper we introduce a generic Petri net class, Coloured Generalised Hybrid Petri Nets (GHPN C ) by combining coloured Petri nets and Generalised Hybrid Petri Nets (GHPN ), which integrates discrete  ...  Hybrid Petri Nets for Systems Biology Hybrid Petri nets have been introduced in [1] to deal with situations where discrete and continuous entities exist in the same model.  ... 
dblp:conf/apn/HerajyLR14 fatcat:32k2fulapzhvdejohih3h52z7e

Modeling of economic systems with Petri nets
Моделирование экономических систем с помощью аппарата сетей Петри

Anna Karmakulova
2014 Economic and Social Changes: Facts, Trends, Forecast  
The author describes basic approaches of simulation modelling, concepts of classical Petri nets, modified means of nested hybrid Petri nets, benefits of their use for systems modelling.  ...  The article uses formalism of nested hybrid Petri nets as a tool to study complex economic systems.  ...  trends, forecast Modelling of economic systems with Petri nets .  ... 
doi:10.15838/esc/2014.4.34.22 fatcat:mcnnl26bdjhuppmgezl6qtvzgu

Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions

Mostafa Herajy, Monika Heiner
2010 Algorithmen und Werkzeuge für Petrinetze  
In this paper, we present a hybrid Petri net class that incorporates both continuous and stochastic capabilities.  ...  Recently hybrid modelling and simulation of biochemical systems have attracted increasing interest.  ...  Hybrid Continuous-Stochastic Petri Nets In this section we describe the hybrid continuous stochastic Petri nets capable of modeling systems which consist of discrete and continuous parts.  ... 
dblp:conf/awpn/HerajyH10 fatcat:5bh7cbijsnachkziowihknxe4u

Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems [chapter]

2000 Soft Computing and Intelligent Systems  
Petri net models are used to describe discrete event and hybrid systems. Computational issues of various problems and algorithms concerning the analysis and synthesis of such systems are discussed.  ...  In view of hybrid systems, we also review basic computational issues for hybrid automata.  ...  Recently, a class of timed Petri nets named programmable timed Petri nets [41] has been used to model hybrid control systems.  ... 
doi:10.1016/b978-012646490-0/50006-8 fatcat:tpqu57oywrhwtfcrvohzhr3trq

Decomposition of first-order hybrid Petri nets for hierarchical control of manufacturing systems

Mohsen Vatani, Ali Doustmohammadi
2015 Journal of manufacturing systems  
Although hybrid Petri net (HPN) is a popular formalism in modelling hybrid production systems, the HPN model of large scale systems gets substantially complicated for analysis and control due to large  ...  In this paper, a new method of decomposition of first-order hybrid Petri nets (FOHPNs) is proposed first and then the hierarchical control of the subnets through a coordinator is introduced.  ...  A large number of approaches have been proposed to model a hybrid system [7] . Among these, hybrid Petri nets (HPNs) are very popular models [2] .  ... 
doi:10.1016/j.jmsy.2015.01.001 fatcat:faoqk3svdfdlbmszdc2zqn26lq

Hybrid Petri nets-based Flow modeling and application on hybrid system

Abdelkader Sayah, Mohammed Chenafa
2021 Indonesian Journal of Electrical Engineering and Informatics (IJEEI)  
The application of the hybrid Petri nets tool in the modeling, study and performance evaluation of these systems helps to analyze the dynamic properties by acting on the parameters and the structure of  ...  Physical systems in general consist of continuous processes interacting with discrete processes forming a hybrid dynamic system constituted by continuous dynamic type models and discrete events.  ...  Flow modeling by hybrid Petri nets, application on hybrid system (A.  ... 
doi:10.11591/ijeei.v9i1.1710 fatcat:kmjbjns2jjanvphzqbsvhl4bee

Application of Hybrid Petri Nets for a Drawing Blood Flow from Fingertip

Shigenori Togashi, Kei Takenaka, Kenko Uchida, Takashi Irie, Taku Sakazume, Ryo Miyake
2018 Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications  
Using the hybrid Petri nets simulation with cuff pressing and puncture modeled as discrete and blood flow modeled as continuity, we confirmed that the simulation results were agreement with the experimental  ...  Therefore, we made the modelling of the fingertip drwaing blood process from the analogy of fluid daynamic tank and pipe systems control using hybrid Petri nets.  ...  ACKNOWLEDGEMENTS The part of this study is supported with the research project of the University of Tokyo COI (Center of Innovation).  ... 
doi:10.5220/0006877701360143 dblp:conf/simultech/TogashiTUISM18 fatcat:ecd26laot5eqbhy7ynjjg624ne
« Previous Showing results 1 — 15 out of 13,588 results