Invariant inheritance in structured operating procedures described by petri nets

Balázs Kránicz, Miklós Gerzson, Katalin M. Hangos

Research output: Contribution to journalArticle

Abstract

Place- and transition-invariants of structured operating procedures described by low level Petri nets containing a plant-level and embedded operating unit-level procedures are analysed in this paper. Place-invariants form a set of system states with conservation property while transition-invariants correspond to cyclical behaviour of the system. It is shown how the place and transition-invariants of the complete operating procedure can be determined from the invariants of the plant- ant unit-level procedures. The results are illustrated on a simple example.

Original languageEnglish
Pages (from-to)S969-S972
JournalComputers and Chemical Engineering
Volume22
Issue numberSUPPL.1
DOIs
Publication statusPublished - 1998

ASJC Scopus subject areas

  • Chemical Engineering(all)
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Invariant inheritance in structured operating procedures described by petri nets'. Together they form a unique fingerprint.

  • Cite this