1982 | OriginalPaper | Buchkapitel
A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net
verfasst von : J. Martínez, M. Silva
Erschienen in: Application and Theory of Petri Nets
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
After a linear algebraic characterization of the minimal support invariant concept, it is proposed a very efficient algorithm to calculate all the minimal support invariants of Generalised and Capacity Petri Nets.Finally,it is presented a graphycal interpretation of the algorithm execution process. It may be considered as a reduction rule that non preserves liveness.