Computing efficient operation schemes for chemical plants in multi-batch mode

DOI10.3166/ejc.7.440-454zbMath1293.93526OpenAlexW2028563951MaRDI QIDQ2512166

Peter Niebert, Sergio Yovine

Publication date: 7 August 2014

Published in: European Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/ejc.7.440-454

zbMATH Keywords

schedulingPetri netstimed automataprocess controlformal modellingchemical batch processes

Mathematics Subject Classification ID

Production models (90B30) Stochastic scheduling theory in operations research (90B36) Discrete event control/observation systems (93C65)

Related Items (2)

Scheduling with timed automata ⋮ Optimal infinite scheduling for multi-priced timed automata

Uses Software

• Kronos

Cites Work

• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• A theory of timed automata
• An experimental batch plant as a test case for the verification of hybrid systems

This page was built for publication: Computing efficient operation schemes for chemical plants in multi-batch mode