Abstract
Linear descriptions of the set of reachable markings are used in conjunction with linear algebraic techniques to analyze properties of net systems, avoiding the state explosion problem. But they have a major problem: the spurious solutions. On the contrary of the general case, for Structurally Safe Net Systems it is always possible to remove all the spurious solutions. We develop the theory for this class, and present also an alternative approach to the classical linear descriptions based on the codification of the linear description itself.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.M. Colom and M. Silva (1991). Improving the Linearly based Characterization of P/T nets. Lecture Notes in Computer Science, 483:113–145.
F. García-Vallés, F. Tricas, J. Ezpeleta and J.M. Colom (1998). Optimal Control of Discrete Event Systems. In Procs. of the Int. Workshop on Discrete Event Systems, 88–93.
F. García-Vallés (1999). Contributions to the Structural and Symbolic Analysis of Place/Transition Nets with Applications to Flexible Manufacturing Systems and Asynchronous Circuits. PhD. thesis. University of Zaragoza.
F. García-Vallés and J.M. Colom (1999). Implicit Places in Net Systems. Procs. of the 8th International Workshop on Petri Nets and Performance Models, 104–113.
S. Melzer and J. Esparza (1996). Checking System Properties via Integer Programming. Lecture Notes in Computer Science, 1058:250–265.
G.L. Nemhauser and L.A. Wolsey (1988). Integer and Combinatorial Optimization. Wiley.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
García-Vallés, F., Tricas, F., Ezpeleta, J., Colom, J.M. (2000). Structurally Safe Net Systems. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_47
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_47
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive