Title
A State Class Approach to Time Petri Nets with Weak Semantics
Abstract
All over the world software industry is facing the threatening failure rate of software projects. The scenario is worst in Pakistan having very immature software industry where projects are mostly over budgeted, over scheduled, and get low customer satisfaction. ...
Year
DOI
Venue
2008
10.1109/CSSE.2008.1073
CSSE (2)
Keywords
Field
DocType
upper bound,titanium,formal semantics,petri nets,semantic model,real time systems
Operational semantics,Programming language,Petri net,Upper and lower bounds,Computer science,Denotational semantics,Reachability,Semantics,Well-founded semantics,Semantics of logic
Conference
Volume
Issue
Citations 
2
null
1
PageRank 
References 
Authors
0.37
9
4
Name
Order
Citations
PageRank
Li Pan112.06
Weidong Zhao2282.09
Zhicheng Wang317617.00
Xinmin Zhou4765.85