Stepwise refinements of net models and their place invariants

Zuberek, W. M. (1999) Stepwise refinements of net models and their place invariants. In: 8th International Workshop on Petri Nets and Performance Models, 8-10 Sept. 1999, Zaragoza, Spain, Spain.

[img] [English] PDF (The version available in this research repository is a postprint. It has the same peer-reviewed content as the published version, but lacks publisher layout and branding.) - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (195kB)


Schedules for manufacturing cells can be systematically derived by simple stepwise refinements which, in consecutive steps, increase the complexity of the cell by introducing its components one after another. Timed Petri net models of schedules derived in this way have some convenient structural properties-net models are covered by conflict-free subnets, determined by place invariants of the model. These place invariant implied subnets can be used for evaluation of the basic performance characteristics of the model. The paper shows that place invariants of net models of schedules can be obtained by the same stepwise refinements that are used for model derivation. Simple examples of performance evaluation are included as an illustration of the use of place invariants in the analysis of schedules.

Item Type: Conference or Workshop Item (Paper)
Item ID: 14607
Department(s): Science, Faculty of > Computer Science
Date: September 1999
Date Type: Completion
Digital Object Identifier (DOI):
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics