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

Necessary condition for a Petri net model that incorporates resources to produce an event stream from an unknown initial state

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)
Allen, L.V. ; Creare Inc., Hanover, NH, USA ; Tilbury, D.M.

This paper presents conditions under which a type of Petri net model with resources, called System of Transition Processes with Resources (STPR), can produce a given event stream. In particular, a necessary condition is given for the event stream to be produced based on checking upper and lower bounds of the marking on the Petri net. Algorithms for checking the condition are presented; the computational complexity of checking the condition is polynomial in the number of places and transitions the first time it is checked for a particular model, and linear in the number of transitions when the model is checked for subsequent event streams. An example is presented showing how this condition can be used, together with a model generation approach, for anomaly detection in manufacturing systems.

Published in:

American Control Conference (ACC), 2011

Date of Conference:

June 29 2011-July 1 2011

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.