Coloured Petri net scheduling models: Timed state space exploration shortages
From MaRDI portal
Publication:426116
DOI10.1016/j.matcom.2010.10.014zbMath1241.90055MaRDI QIDQ426116
Publication date: 11 June 2012
Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.matcom.2010.10.014
90B35: Deterministic scheduling theory in operations research
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
Related Items
Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities, Equivalent and efficient optimization models for an industrial discrete event system with alternative structural configurations, Novel Conflict Resolution Model for Multi-Uav Based on Cpn and 4d Trajectories
Uses Software
Cites Work