@inproceedings{3c8d7a14e016485794d7aa54b17e6c38,
title = "Schedulability analysis of real-time systems using timing constraint Petri nets",
abstract = "A real-time system is characterized by its timely response with respect to e-aernal stimuli. A timely response usually consists of a series of tasks which must be scheduled and executed accordingly so that the controlled environment can function correctly. In this paper, we present the timing constraint Petri nets (or TCPNs for short) to facilitate the modeling and analysis of real-time systems. One of the analysis capabilities of TCPNs discussed in this paper is the schedulability analysis. Through a series of modeling, analysis, and iterative refinement, the sofmtare developer can verify whether an underlying specvcation will be schedulable with respect to the given timing requirements, all via the token game played in TCPN's. Nevertheless, the analysis presented here is to analyze the schedulability of real-time systems against the imposed timing constraints, rather than to elaborate a scheduling policy.",
keywords = "Petri nets, real-time systems, scheduling problems, time Petri nets, timed Petri nets, timing constraints, timing requirements",
author = "Tsai, {J. J.P.} and Yang, {S. J.H.} and Chang, {Y. H.}",
note = "Publisher Copyright: {\textcopyright} 1993 IEEE.; 1993 IEEE Conference on Computers in Design, Manufacturing, and Production, COMPEURO 1993 ; Conference date: 24-05-1993 Through 27-05-1993",
year = "1993",
doi = "10.1109/CMPEUR.1993.289850",
language = "???core.languages.en_GB???",
series = "1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "375--382",
booktitle = "1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production",
}