Paper Info
Title
Real-time scheduling of batch systems using Petri nets and linear logic
Abstract
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 representing the global behavior of the system. For the Petri net fragments involved in conflicts, symbolic production and consumption dates assigned to tokens are calculated based on the sequent calculus of linear logic. These dates are then used for off-line conflict resolution within a token player algorithm used for scenario verification of real-time specifications and which can be seen as a simulation tool for UML interaction diagrams.
Year
DOI
Venue
2008
10.1016/j.jss.2008.01.018
Journal of Systems and Software
Keywords
Field
DocType
off-line conflict resolution,petri net,linear logic,batch system,real-time specification,initial requirement,real-time scheduling,global coordination,global behavior,uml interaction diagram,petri nets,batch systems,uml,real-time system,scenario verification,conflict resolution,real time systems,sequent calculus,sequence diagram
Sequence diagram,Petri net,Scheduling (computing),Computer science,Sequent calculus,Stochastic Petri net,Process architecture,Real-time computing,Linear logic,Security token
Journal
Volume
Issue
ISSN
81
11
The Journal of Systems & Software
Citations 
PageRank 
References 
8
0.63
18
Authors
3
Name
Order
Citations
PageRank
Michel Dos Santos Soares16811.50
Stéphane Julia24112.84
Jos Vrancken39013.98