A colored Petri net-based approach towards a formal specification of agent-controlled production systems,A context-dependent agent in consideration of the buffer usage for real-time scheduling in manufacturing systems,A Context-Dependent Agent in Cosideration of the Buffer Usage for Real-Time Scheduling in Manufacturing Systems……