ویراساینس.
سند علمی

Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources

Stéphane Julia, Fernanda Francielle de Oliveira, Robert Valette

چکیده

The objective of this work is to propose an approach based on a p-time Petri net model with hybrid resources to solve the real time scheduling problem of Workflow Management Systems. The proposed approach uses an activity diagram to show the main activities of the system and the different routings of the Workflow Process. Based on the activity diagram, the corresponding p-time Petri net model is produced by assigning a time interval to every Workflow activity. Hybrid resource (discrete + continuous) allocation mechanisms are modeled by an hybrid Petri net with discrete transitions in order to represent the different kinds of resources (equipment and human resources) in a more realistic way. Time constraint propagation mechanisms are presented and a token player algorithm is applied to the Petri net model in order to obtain an acceptable scenario corresponding to a specific sequence of activities which respects the time constraints. The approach is illustrated through an example of ‘‘Handle Complaint Process”. 2008 Elsevier B.V. All rights reserved.

اسناد مشابه

  • Real-time scheduling of batch systems using Petri nets and linear logic

    سند علمی۲۰۰۸Journal of Systems and SoftwareMichel dos Santos Soares, Stéphane Julia, Jos L. M. Vrancken

    This paper presents an approach to model, design and verify scenarios of real-time systems used in the scheduling and global coordination of batch systems. The initial requirements of a system specified with sequence diagrams are translated into a single p-time Petri net model re

  • Proving properties of real - time systems through logical specifications and Petri net models 1

    سند علمی۱۹۹۴Miguel Felder, Dino Mandrioli, Angelo Morzenti

    The problem of formally analyzing properties of real-time systems is addressed. A method is proposed that allows specifying system properties in the TRIO language (an extension of temporal logic suitable to deal explicitly with the “time” variable and to measure it) and modeling

  • Dyannnic Scheduling of Elevator Systems over Petri Net/Rule Modeling

    سند علمی۲۰۰۴Yan-Hau Huang, Li-Chen Fu

    In this paper, a hybrid model of a multiple elevator system is proposed, consisting of a timed place Petri net (TPPN) moldel and a set of control rules implemented via the so-called control places in the TPPN model. The Petri net model is a highly modulized structure, whose const

  • Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models

    سند علمی۱۹۹۴IEEE Trans. Software Eng.Miguel Felder, Dino Mandrioli, Angelo Morzenti

    Abstruct-We address the problem of formally analyzing the properties of real-time systems. We propose a method based on modeling the system as a timed Petri net and on specifying its properties in TRIO, an extension of temporal logic suitable for dealing explicitly with time and

  • Analyzing the Resource Perspective of Workflow Management Systems: Using a Meta Model and Constraints

    سند علمی۲۰۰۶M. Pesic

    Workflow management systems support business processes and are driven by business processes models. These models cover different perspectives including the controlflow, resource, and data perspectives. Contemporary workflow management systems offer a wide variety of mechanisms to

  • Real-time Music Composition through P-timed Petri Nets

    سند علمی۲۰۱۴ICMCAdriano Baratè, Goffredo Haus, Luca A. Ludovico

    This paper introduces a new real-time concept of reconfigurable P-timed Petri nets. Our goal is to provide a formal model to build and modify a net on the fly. In the first part of the article, the original P-timed extensions are summarized. Then we define an endomorphism that al