BOOK-CHAPTER
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
Parosh Aziz AbdullaRichard Mayr
Year: 2009 Lecture notes in computer science Pages: 348-363 Publisher: Springer Science+Business Media
Keywords:
Reachability Petri net Undecidable problem Computer science Security token Decidability Reachability problem Integer (computer science) Stochastic Petri net Theoretical computer science Distributed computing Programming language Operating system
Metrics
29
Cited By
4.78
FWCI (Field Weighted Citation Impact)
19
Refs
0.95
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Petri Nets in System Modeling
Physical Sciences → Computer Science → Computational Theory and Mathematics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Distributed systems and fault tolerance
Physical Sciences → Computer Science → Computer Networks and Communications
Related Documents
JOURNAL ARTICLE
Computing Optimal Coverability Costs in Priced Timed Petri Nets
Parosh Aziz AbdullaRichard Mayr
Year: 2011 Vol: 2102 Pages: 399-408
JOURNAL ARTICLE
Priced Timed Petri Nets
Richard MayrParosh Aziz Abdulla
Journal: Logical Methods in Computer Science Year: 2013 Vol: Volume 9, Issue 4
JOURNAL ARTICLE
Minimal Coverability Set for Petri Nets
ReynierPierre-AlainServaisFrédéric
Journal: Fundamenta Informaticae Year: 2013
BOOK-CHAPTER
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems
Parosh Aziz AbdullaMohamed Faouzi AtigJari Stenman
Lecture notes in computer science Year: 2012 Pages: 58-69
BOOK-CHAPTER
The minimal coverability graph for Petri nets
Lecture notes in computer science Year: 1993 Pages: 210-243