Results 31 to 40 of about 19,942 (199)
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets [PDF]
, 2010 Two formal stochastic models are said to be bisimilar if their solutions as a stochastic process are probabilistically equivalent. Bisimilarity between two stochastic model formalisms means that the strengths of one stochastic model formalism can be used
Henk A.P. Blom +3 more
core +3 more sources
Modeling and performance analysis of the emergency rescue logistics system based on Petri nets
Journal of Hebei University of Science and Technology, 2017 In order to more effectively analyze the performance of logistics emergency rescue system, based on analyzing the characteristics and main functions of the Petri net and its advantage of describing asynchronous concurrent random image system, this paper ...
Mingxin YANG, Min WANG, Ying QU
doaj +1 more source
IEEE Access, 2022 Internet of Things (IoT) technologies have been increasingly developed for real-time application in manufacturing processes to address heterogeneous devices and software effectively.
C. Dechsupa, W. Vatanawood, A. Thongtak
doaj +1 more source
Business Process Modelling based on Petri nets
MATEC Web of Conferences, 2017 Business process modelling is the way business processes are expressed. Business process modelling is the foundation of business process analysis, reengineering, reorganization and optimization.
Qin Jianglong +3 more
doaj +1 more source
A Meso-Scale Petri Net Model to Simulate a Massive Evacuation along the Highway System
Future Transportation, 2023 Natural disasters may require that the residents of the affected area be evacuated immediately using a potentially damaged infrastructure. In this paper, we developed a mesoscopic simulation modeling approach for modeling traffic flow over a large ...
Hamzeh Qabaja +3 more
doaj +1 more source
SystemsIn this study, we analyzed the evolution of online public opinion on emergencies using a new Stochastic Petri Net modeling approach. First, an intuitive description of the emergency online public opinion development process was conceptualized from the ...
Chen Guo, Yinghua Song
doaj +1 more source
Internet enabled modelling of extended manufacturing enterprises using the process based techniques [PDF]
, 2004 The paper presents the preliminary results of an ongoing research project on Internet enabled process-based modelling of extended manufacturing enterprises.
Cheng, K, Popov, Y
core +1 more source
Hybrid performance modelling of opportunistic networks [PDF]
, 2012 We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the network is modelled stochastically, and instantaneous decisions are modelled ...
Bortolussi, Luca +2 more
core +3 more sources
Modelling, reduction and analysis of Markov automata (extended version) [PDF]
, 2013 Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL.
Guck, Dennis +4 more
core +2 more sources
Analysis of Petri Net Models through Stochastic Differential Equations
, 2014 It is well known, mainly because of the work of Kurtz, that density dependent Markov chains can be approximated by sets of ordinary differential equations (ODEs) when their indexing parameter grows very large.
A. Pourranjbar +13 more
core +1 more source