Cart (Loading....) | Create Account
Close category search window
 

Dealing with global guards in a distributed simulation of colored Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Knoke, M. ; Real-Time Syst. & Robotics, Technische Univ. Berlin, Germany ; Hommel, G.

Petri nets are commonly used for modeling of computer, communication, logistics and manufacturing systems. Powerful grid and cluster computers allow efficient distributed simulation of such models to speed up execution. Optimistic parallel simulation techniques have been developed for different Petri net classes. Different notions of time have been proposed to detect occurring causality violations. However, global guards in timed colored Petri nets restrict state transitions based on global conditions. Furthermore those nets may contain vanishing states and transition priorities. Those properties require an extended logical time scheme and an efficient monitoring mechanism to capture global conditions over time. The paper presents an appropriate logical time scheme that guarantees correct ordering of global states in a distributed timed colored Petri net simulation. A new mirrored state mechanism is proposed to verify global conditions without limiting the optimistic simulation behavior. Some Petri net examples are used to present performance values on a cluster computer.

Published in:

Distributed Simulation and Real-Time Applications, 2005. DS-RT 2005 Proceedings. Ninth IEEE International Symposium on

Date of Conference:

10-12 Oct. 2005

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.