Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints

A coloured Petri net (CPN) is widely used to model discrete event systems due to its compact representation of the system by colour sets associated with places, transitions and I/O arcs. For real-world systems such as manufacturing systems, transportation systems, and communication protocols, a colo...

Full description

Bibliographic Details

Published in:	IEEE Access
Main Authors:	Kohei Fujita, Toshimitsu Ushio
Format:	Article
Language:	English
Published:	IEEE 2022-01-01
Subjects:	Petri nets coloured timed Petri nets temporal logic generalized mutual exclusion constraints integer linear programming
Online Access:	https://ieeexplore.ieee.org/document/9925234/