scientific article
From MaRDI portal
Publication:3820002
zbMath0667.68051MaRDI QIDQ3820002
Jacques Carlier, Philippe Chrétienne
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Using timed Petri net to model instruction-level loop scheduling with resource constraints, Petri nets for the design and operation of manufacturing systems, Extremal throughputs in free-choice nets, Scheduling analysis of FMS: an unfolding timed Petri nets approach, Asymptotic behavior in a heap model with two pieces, Solving transient scheduling problems with constraint programming, Periodic schedules for linear precedence constraints, Petri net based scheduling, Dynamic sequencing of robot moves in a manufactoring cell, Analysis of discrete event systems by simulation of timed Petri net models, The basic cyclic scheduling problem with deadlines, Study of a NP-hard cyclic scheduling problem: The recurrent job-shop, Analysis of P-time event graphs in (max,+) and (min,+) semirings
