DocumentCode
2601211
Title
A new Petri net based formalism for specification, design and analysis of real-time systems
Author
Bruno, G. ; Castella, A. ; Pavesio, I. ; Pescarmona, M.P.
Author_Institution
Dipartimento di Automatica e Inf., Politechnico di Torino, Italy
fYear
1993
fDate
1-3 Dec 1993
Firstpage
294
Lastpage
301
Abstract
Current Petri net based methods for modeling and design of real-time systems rely on formalisms that are either expressive or analyzable, but not both. Our goal is to provide a new formalism bridging the gap between these positions. We start from a well known result on timed marked graphs, extend it to more general nets, and enhance the resulting formalism expressiveness by means of a set of transition expansion rules, which also enable hierarchical net structuring. A detailed example is discussed
Keywords
Petri nets; formal specification; real-time systems; Petri net based formalism; Petri net based methods; formalism expressiveness; hierarchical net structuring; real-time systems; timed marked graphs; transition expansion rules; Analytical models; Frequency; Lead; Mathematical analysis; Mathematical model; Performance analysis; Petri nets; Real time systems; System performance;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems Symposium, 1993., Proceedings.
Conference_Location
Raleigh Durham, NC
Print_ISBN
0-8186-4480-X
Type
conf
DOI
10.1109/REAL.1993.393487
Filename
393487
Link To Document