Abstract
This chapter presents the functions that are available in GPenSIM for finding the structural invariants (e.g., siphons, traps, place invariants (P-invariants), and transition invariants (T-invariants). Structural invariants (aka net invariants) are the structural properties of a Petri net that depend only on the static (topological) structure; structural invariants are independent of the Petri net’s markings.
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
References
Iordache, M., & Antsaklis, P. J. (2007). Supervisory control of concurrent systems: A Petri net structural approach. Berlin: Springer Science & Business Media.
Moody, J. O., & Antsaklis, P. J. (1998). Supervisory control of discrete-event systems using Petri nets. Dordrecht: Kluwer Academic Publishers.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 The Author(s)
About this chapter
Cite this chapter
Davidrajuh, R. (2018). Structural Invariants. In: Modeling Discrete-Event Systems with GPenSIM. SpringerBriefs in Applied Sciences and Technology. Springer, Cham. https://doi.org/10.1007/978-3-319-73102-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-73102-5_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73101-8
Online ISBN: 978-3-319-73102-5
eBook Packages: EngineeringEngineering (R0)