NDLI: Timing Analysis of Cyclic Time Petri Net Using Relaxed Unfolding and Global Time Technique

Please wait, while we are loading the content...

Evaluation of Crowd Models in Low Density Scenarios Using Real-world Crowd Data

Energy-aware simulation of workflow execution in High Throughput Computing systems

Easing the development of HLA Federates: the HLA Development Kit and its exploitation in the SEE Project

A WordNet-based Parameter Configuration Assistance Technology in Simulation Application

Adaptive Human Behavior Modeling for Air Combat Simulation

Enabling HLA-based Simulations on the Cloud

Study on the Simulation Model of Kill Probability of Multiple Shots

Accelerating Large Scale Artificial Society Simulation with CPU/GPU based Heterogeneous Parallel Method

On the Potential of Optimized Data Exchange in Distributed Embedded Simulation

Targeted Extraction of Simulation Data

Enhancing Load Balancing Efficiency Based on Migration Delay for Large-Scale Distributed Simulations

Distributed System as Internet of Things for a new low-cost, Air Pollution Wireless Monitoring on Real Time

Towards An Info-Symbiotic Decision Support System for Disaster Risk Management

Web3D-based Online Walkthrough of Large-scale Underground Scenes

A Strategy for Server Management to Improve Cloud Service QoS

Aggregating Opinions to Optimize Multi-objective Urban Tactical Position Selection

An Empirical Study of Energy Consumption in Distributed Simulations

Power Estimation of an ECDSA Core applied in V2X Scenarios using Heterogeneous Distributed Simulation

Towards an Efficient Multi-way Factorization of Multi-dimensional Big Data across a GPU Cluster

Can MIC find its place in the field of PDES?: An Early Performance Evaluation of PDES Simulator on Intel Many Integrated Cores Coprocessor

Toward Scalable Emulation of Future Internet Applications with Simulation Symbiosis

A state-centered multi-formalism behavioral modeling method for combat system effectiveness simulation

A Path-Assisted Dead Reckoning Algorithm for Distributed Virtual Environments

Simulation Application for Improving the Efficiency of New Distribution Centers

Timing Analysis of Cyclic Time Petri Net Using Relaxed Unfolding and Global Time Technique

Integrated QoS-aware Resource Provisioning for Parallel and Distributed Applications

A Distributed Simulation Platform using HLA for Complex Embedded Systems Design

An Energy Effective Routing Algorithm for Event-driven Wireless Sensor Networks

Timing Analysis of Cyclic Time Petri Net Using Relaxed Unfolding and Global Time Technique

Content Provider	ACM Digital Library
Author	Benito, Franck Carlos Vélez Künzle, Luis Allan
Abstract	Time Petri nets are a powerful formalism for representing real-time systems. State Class Graph is a useful tool for timing analysis of time Petri nets. However, this tool is inaccurate when performing timing analysis of sequences of transitions firings. This paper proposes to overcome this limitation, taking advantage of two techniques: global time and relaxed unfolding. Global time technique can perform timing analysis in safe time Petri nets with more accuracy, but only on acyclic nets. This limitation can be overcome by using the unfolding technique to generate an acyclic occurrence net containing all reachable markings of the original safe Petri net. Although the unfolding process enumerates all reachable markings, it does not enumerate all possible transition firings sequences. For this reason, we propose a relaxed process that unfolds further than the original, by redefining cut-off events to identify existing temporal classes instead of existing markings. The process transforms a cyclic net in an acyclic net, with all classes and paths preserved, in which accurate timing analysis is feasible.
Starting Page	147
Ending Page	154
Page Count	8
File Format	PDF
ISBN	9781467378222
DOI	10.1109/DS-RT.2015.34
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-10-14
Access Restriction	Subscribed
Subject Keyword	Time petri nets Petri nets Global time technique Unfolding Real-time systems Timing analysis
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in