Qualitative model based verification of operating procedures by high level Petri nets

M. Gerzson, Zs Csaki, K. Hangos

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

The presence of colored tokens and time opens the possibility to combine high level Petri nets for describing operating procedures and constraint type qualitative models describing the model of the system over a wide operating range. Places can be associated to state variables and the color of the tokens can be related to the qualitative value of the variable. Arc expressions correspond to qualitative model equations. A suitably modified version of the order of magnitude qualitative value representation form is used together with a scaling of each variable to have the same uniform qualitative range. Operations are performed on the interval arithmetic basis and only the result is transformed back to the uniform order of magnitude quantity space. This computation method ensures advantageous algebraic properties. Based on the above idea a novel verification method is proposed in this paper for testing operating procedures against a qualitative model of the system using a high level or colored Petri net representation of the procedure and the model together.

Original languageEnglish
JournalComputers and Chemical Engineering
Volume18
Issue numberSUPPL
DOIs
Publication statusPublished - 1994

Fingerprint

Petri nets
Color
Testing

ASJC Scopus subject areas

  • Chemical Engineering(all)
  • Control and Systems Engineering

Cite this

Qualitative model based verification of operating procedures by high level Petri nets. / Gerzson, M.; Csaki, Zs; Hangos, K.

In: Computers and Chemical Engineering, Vol. 18, No. SUPPL, 1994.

Research output: Contribution to journalArticle

@article{0c76a8535f9849c8abe88786e408b562,
title = "Qualitative model based verification of operating procedures by high level Petri nets",
abstract = "The presence of colored tokens and time opens the possibility to combine high level Petri nets for describing operating procedures and constraint type qualitative models describing the model of the system over a wide operating range. Places can be associated to state variables and the color of the tokens can be related to the qualitative value of the variable. Arc expressions correspond to qualitative model equations. A suitably modified version of the order of magnitude qualitative value representation form is used together with a scaling of each variable to have the same uniform qualitative range. Operations are performed on the interval arithmetic basis and only the result is transformed back to the uniform order of magnitude quantity space. This computation method ensures advantageous algebraic properties. Based on the above idea a novel verification method is proposed in this paper for testing operating procedures against a qualitative model of the system using a high level or colored Petri net representation of the procedure and the model together.",
author = "M. Gerzson and Zs Csaki and K. Hangos",
year = "1994",
doi = "10.1016/0098-1354(94)80092-8",
language = "English",
volume = "18",
journal = "Computers and Chemical Engineering",
issn = "0098-1354",
publisher = "Elsevier BV",
number = "SUPPL",

}

TY - JOUR

T1 - Qualitative model based verification of operating procedures by high level Petri nets

AU - Gerzson, M.

AU - Csaki, Zs

AU - Hangos, K.

PY - 1994

Y1 - 1994

N2 - The presence of colored tokens and time opens the possibility to combine high level Petri nets for describing operating procedures and constraint type qualitative models describing the model of the system over a wide operating range. Places can be associated to state variables and the color of the tokens can be related to the qualitative value of the variable. Arc expressions correspond to qualitative model equations. A suitably modified version of the order of magnitude qualitative value representation form is used together with a scaling of each variable to have the same uniform qualitative range. Operations are performed on the interval arithmetic basis and only the result is transformed back to the uniform order of magnitude quantity space. This computation method ensures advantageous algebraic properties. Based on the above idea a novel verification method is proposed in this paper for testing operating procedures against a qualitative model of the system using a high level or colored Petri net representation of the procedure and the model together.

AB - The presence of colored tokens and time opens the possibility to combine high level Petri nets for describing operating procedures and constraint type qualitative models describing the model of the system over a wide operating range. Places can be associated to state variables and the color of the tokens can be related to the qualitative value of the variable. Arc expressions correspond to qualitative model equations. A suitably modified version of the order of magnitude qualitative value representation form is used together with a scaling of each variable to have the same uniform qualitative range. Operations are performed on the interval arithmetic basis and only the result is transformed back to the uniform order of magnitude quantity space. This computation method ensures advantageous algebraic properties. Based on the above idea a novel verification method is proposed in this paper for testing operating procedures against a qualitative model of the system using a high level or colored Petri net representation of the procedure and the model together.

UR - http://www.scopus.com/inward/record.url?scp=0028196161&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0028196161&partnerID=8YFLogxK

U2 - 10.1016/0098-1354(94)80092-8

DO - 10.1016/0098-1354(94)80092-8

M3 - Article

VL - 18

JO - Computers and Chemical Engineering

JF - Computers and Chemical Engineering

SN - 0098-1354

IS - SUPPL

ER -