Paper Info
Title
Timed high-level nets
Abstract
Petri nets have been widely used for modeling and analyzing concurrent systems. Several reasons contribute to their success: the simplicity of the model, the immediate graphical representation, the easy modeling of asynchronous aspects, the possibility of reasoning about important properties such as reachability, liveness, boundedness. However, the original model fails in representing two important features: complex functional aspects, such as conditions which rule the flow of control, and time. Due to that, two different classes of extensions of Petri nets have been proposed: high-level nets and timed Petri nets. High-level nets allow the representation of functional aspects in full details, but do not provide a means for representing time; on the other hand, timed Petri nets have been thought for time representation, but they do not provide a means for representing detailed functinal aspects. Thus, these two important aspects cannot be mastered together. In particular, it is difficult to express relationships between time and functional aspects.
Year
DOI
Venue
1991
10.1007/BF00365334
Realtime systems
Keywords
Field
DocType
Operating System,Graphical Representation,Original Model,Full Detail,Functional Aspect
Asynchronous communication,Petri net,Computer science,Control flow,Reachability,Process architecture,Theoretical computer science,Artificial intelligence,Liveness,Distributed computing
Journal
Volume
Issue
ISSN
3
2
0922-6443
Citations 
PageRank 
References 
13
1.69
6
Authors
3
Name
Order
Citations
PageRank
Sandro Morasca186373.32
Mauro Pezzè21842106.03
Marco Trubian359451.20