Centralized Architecture for Real Time Scheduling of Batch Systems

Abstract The objective of this article is to present a centralized architecture based on a collaboration diagram and on a p-time Petri net model for real time scheduling of production systems. The main idea consists of proposing a software architecture which depends on an object whose purpose is to centralize all the interactions between the different software objects. The internal behaviour of the central object is represented by a p-time Petri net model which shows the global behaviour of the entire system. A specialized inference mechanism called token player is then applied to the p-time Petri net model for the real time scheduling. In particular, for the Petri net fragments involved in conflict situations, symbolic dates assigned to tokens are calculated using a non-conventional (max;+) algebra based on the sequent calculus of Linear Logic. These dates are used to solve conflict situations off-line on an implicit manner in such a way that the resource conflicts can be treated in real time at the central object level. The approach is illustrated through an example of Real Time System used at the global coordination level of a Batch System.