Coloured Petri net scheduling models: Timed state space exploration shortages

DOI10.1016/j.matcom.2010.10.014zbMath1241.90055OpenAlexW2025920062MaRDI QIDQ426116

Gašper Mušič, M. A. Piera

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

zbMATH Keywords

optimizationsimulationmanufacturing systemsPetri nets

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (3)

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

• OR-Library

Cites Work

• Stochastic modelling of flexible manufacturing systems
• A brief survey and synthesis of the roles of time in Petri nets.
• Unnamed Item

This page was built for publication: Coloured Petri net scheduling models: Timed state space exploration shortages