//////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2020, 2025 Contributors to the Eclipse Foundation
//
// See the NOTICE file(s) distributed with this work for additional
// information regarding copyright ownership.
//
// This program and the accompanying materials are made available
// under the terms of the MIT License which is available at
// https://opensource.org/licenses/MIT
//
// SPDX-License-Identifier: MIT
//////////////////////////////////////////////////////////////////////////////

Model source: Sander Thuijsman, Michel Reniers and Dennis Hendriks, "Efficiently enforcing mutual state exclusion
requirements in symbolic supervisor synthesis", Proceedings of the 2021 IEEE 17th International Conference on Automation
Science and Engineering, pages 777-783, 2021, doi: https://doi.org/10.1109/CASE49439.2021.9551593.

Model source: Zowi Vos, "Initialization and Termination of Flexible Manufacturing Systems - a formal approach", MSc
thesis, Eindhoven University of Technology, 2020, url:
https://research.tue.nl/en/studentTheses/initialization-and-termination-of-flexible-manufacturing-systems.

Model repository: https://github.com/sbthuijsman/CASE21_enforce_requirements.
