Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)

Gerzson, M. and Csáki, ZS and Hangos, Katalin (1993) Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3). COMPUTERS & CHEMICAL ENGINEERING, 18 (Suppl.). S565-S569.

Full text not available from this repository.
Item Type: Article
Subjects: Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Divisions: Systems and Control Lab
Depositing User: Eszter Nagy
Date Deposited: 11 Dec 2012 14:44
Last Modified: 11 Dec 2012 14:44
URI: http://eprints.sztaki.hu/id/eprint/335

Update Item Update Item