@misc{indiciae916ae5cfd081, title = {Time Petri Nets with Dynamic Firing Dates: Semantics and Applications}, author = {Silvano Dal Zilio and Lukasz Fronc and Bernard Berthomieu and François Vernadat}, year = {2014}, doi = {10.1007/978-3-319-10512-3\_7}, url = {https://arxiv.org/abs/1404.7067}, note = {Source identifier: 1404.7067} }