Dataset: Auction Dataset

About this Dataset

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

Tables

Data

@kaggle.dhinaharp_auction_dataset.data

22.51 KB
2043 rows
9 columns


CREATE TABLE data (
  "process_b1_capacity" BIGINT,
  "process_b2_capacity" BIGINT,
  "process_b3_capacity" BIGINT,
  "process_b4_capacity" BIGINT,
  "property_price" BIGINT,
  "property_product" BIGINT,
  "property_winner" BIGINT,
  "verification_result" BOOLEAN,
  "verification_time" DOUBLE
);