Time Petri nets are commonly used for modelling and analyzing embedded systems, assembly lines, and streaming applications. In this paper, a sub class of time Petri net named timed weighted marked graphs (TWMGs) are studied. Stationary throughput analysis of these TWMGs is an important step for checking throughput requirements of concurrent real-time applications and finding the best schedules. We proposed some important properties of TWMGs which are useful for designers or engineers to study the stationary throughput and solve the scheduling problem for practical usage.

Stationary behavior of manufacturing systems modeled by timed weighted marked graphs

GIUA, ALESSANDRO
2017-01-01

Abstract

Time Petri nets are commonly used for modelling and analyzing embedded systems, assembly lines, and streaming applications. In this paper, a sub class of time Petri net named timed weighted marked graphs (TWMGs) are studied. Stationary throughput analysis of these TWMGs is an important step for checking throughput requirements of concurrent real-time applications and finding the best schedules. We proposed some important properties of TWMGs which are useful for designers or engineers to study the stationary throughput and solve the scheduling problem for practical usage.
2017
9781509025961
Computer Science Applications; Computer Vision and Pattern Recognition; Electrical and Electronic Engineering
File in questo prodotto:
File Dimensione Formato  
16tencon_draft.pdf

Solo gestori archivio

Tipologia: versione post-print
Dimensione 292.11 kB
Formato Adobe PDF
292.11 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/213095
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact