Coverability Synthesis in Parametric Petri Nets

Article Details
Title:	Coverability Synthesis in Parametric Petri Nets
Article URLs:	https://doi.org/10.4230/LIPIcs.CONCUR.2017.14
Alternative Article URLs:
Authors:	Nicolas David	University of Nantes, LS2N
	Claude Jard	University of Nantes, LS2N
	Didier Lime	École Centrale de Nantes, LS2N
	Olivier H. Roux	École Centrale de Nantes, LS2N
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/concur/DavidJLR17
Author Comments:

International Conference on Concurrency Theory, CONCUR 2017