Intl. Symposium on Model Checking Software, SPIN 2018


Article Details
Title: Petri Net Reductions for Counting Markings
Article URLs:
Alternative Article URLs:
Authors: Bernard Berthomieu
  • Universit√© de Toulouse, LAAS-CNRS
  • CNRS, INSA
Didier Le Botlan
  • Universit√© de Toulouse, LAAS-CNRS
  • CNRS, INSA
Silvano Dal-Zilio
  • Universit√© de Toulouse, LAAS-CNRS
  • CNRS, INSA
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/spin/BerthomieuBD18
Author Comments:

Discuss this paper and its artifacts below