Auction Dataset

Abstract

We modeled a simultaneous multi-round auction with BPMN models, transformed the latter to Petri nets, and used a model checker to verify whether certain outcomes of the auction are possible or not.

Canonical Paper

By Elaheh Ordoni, Jakob Bach, Ann-Katrin Fleck. 2022

Published in Journal. Journal: IEEE Access. DOI: 10.1109/ACCESS.2022.3154445