tailieunhanh - Petri Nets Applications_1

Petri Nets are graphical and mathematical tool used in many different science domains. Their characteristic features are the intuitive graphical modeling language and advanced formal analysis method. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling concurrent systems. The nets whose model was extended with the time model can be applied in modeling real-time systems. | 1 An Application of GSPN for Modeling and Evaluating Local Area Computer Networks Masahiro Tsunoyama and Hiroei Imai Department of Information and Electronics Engineering Niigata Institute of Technology 1719 Fujihashi Kashiwazaki 945-1195 JAPAN E-mail mtuno@ University Evaluation Center Niigata University 8050 Ikarashi-2 Niigata-shi Niigata 950-2181 JAPaN E-mail himai@ 1. Introduction Multimedia systems connected by computer networks are widely used in applications such as telecommunications distance-learning and video-on-demand Nerjes et al. 1997 Kornkevn Lilleberg 2002 Shahraray et al. 2005 . Since multimedia data have realtime properties that must be processed and delivered within given deadlines the demand on such systems is increasing Althun et al. 2003 Gibson David 2007 . In order to maintain the required quality several systems using QoS techniques have been proposed Furguson Huston 1998 Park 2006 Villalon et al. 2005 . The IEEE Standard 2003 is one of these techniques. It provides two functions for QoS support enhanced distributed channel access EDCA and hybrid coordination function controlled channel access HCCA . HCCA uses concentrated control and guarantees the required propagation delay. On the other hand EDCA uses distributed control has good scalability and requires less overhead than HCCA but cannot guarantee the required propagation delay. In order to assess the dependability of multimedia systems using QoS such as the supporting EDCA the propagation delay and its standard deviation jitter must be quantitatively evaluated Claypool Tanner 1999 Fan et al. 2006 Gibson David 2007 Park 2006 . Several evaluation methods have been proposed such as queuing networks Ahmad et al. 2007 Cheng Wu 2005 stochastic process models German 2000 Nerjes et al. 1997 and simulation models Adachi et al. 1998 Bin et al. 2007 Grinnemo Brunstrom 2002 . However these methods have several problems. Queuing networks and .

• Cơ khí - Chế tạo máy
• Handbook of mechanical engineering
• mechanical engineering
• mechanical design
• mechanical materials
• alloy materials
• Energy Technology
• Power plant technology
• Fast breeder reactors
• Seothermal energy
• Solar energy wind energy
• Energy from the oceans
• Energy storage
• Demonstration of significant energy
• Sustained energy savings
• Achievement of green building
• status Earning of carbon
• credits Rapid return on investment
• Energy Technology Solution enables
• Fuzzy quality function deployment
• Small scale renewable energy
• Techno economic requirements
• Energy storage technology
• Small scale renewable energy storage technology
• Solar energy
• Knowledge of solar energy technology
• Farmers of Jaipur district
• Proportional allocation technique
• Selected village
• Nuclear engineering and technology
• The effect of the self attenuation coefficient
• Ray detector efficiency calculated at low and high energy regions
• Low and high energy regionsv
• The full energy peak efficiency
• Energy research and social sience
• The merits of becoming smart
• Community energy
• Community based virtual power plant
• Sustainability transitions
• Technology data for energy plants
• Technology sheets
• Wind Turbines on shore
• Proton exchange membrane fuel cells
• Electric boilers
• Geothermal district heating
• Journal of Marine science and Technology
• Marine science and Technology
• Marine science and Technology no 56
• Marine science and Technology year 2018
• Evaluation method
• Electrical energy management model
• Reliability
• Automotive
• energy resources
• energy economics
• fuel supply systems
• atomic energy
• Information and communication Technology
• Energy consumption
• Financial development
• Financial development in Africa
• Communication technology
• Is concentrating solar powe
• r technology a proven
• and reliable technology
• Why is solar thermal power
• plant technology so
• important for the future energy mix
• Warming World
• Fossil Fuels
• Green Energy
• renewable resources
• engineering logic
• Technology
• Fuel supply system
• solar lights
• electrical energy
• power mode
• the fuel supply system
• Journal of Science and Technology
• Improvement of magnetic properties of MnBi powders prepared
• Magnetic properties of MnBi powders prepared
• Low energy ball milling
• The theoretical value of energy product
• Mitigation of high energy arcing faults
• Nuclear power plant medium voltage switchgear
• Nuclear power plants
• High energy arcing fault
• Radiation protective qualities of some selected lead
• Bismuth salts in the wide gamma energy region
• The bismuth fluoride
• Mean free paths
• Low energy region
• Beta particle energy spectra shift due
• Self attenuation effects in environmental sources
• Characteristic energy spectra
• Inorganic solid scintillator
• Effect of high energy neutron source
• Predicting the proton beam current in the ADS design
• Predicting the proton beam current
• The ADS design
• High energy Neutron Source
• Neutron Source Efficiency
• Multilevel in space and energy solver
• Multigroup diffusion eigenvalue problems
• Space and energy diffusion
• Solving multigroup diffusion eigenvalue problems
• Journa science
• International journal of financial research
• Fuzzy MCDM approach
• Renewable energy technology
• Ranking method
• A matter of time
• Technology studies
• Car free zone development
• Sociotechnical matters
• Energy infrastructure
• Urban mobility
• International journal of computer science & communication networks
• Energy occupancy in wireless sensor networks
• Wireless sensor networks
• Contemporary technology for providing energy
• Charge multiple detector nodes in wireless manner
• Vietnam Journal of Science and Technology
• Bài viết khoa học
• Tạp chí Khoa học Công nghệ Việt Nam
• English for Environmental technology
• Environmental technology
• Environmental science
• The atmosphere and ecosystem
• Noise pollution