TY - GEN
T1 - Schedulers and finishers
T2 - On generating the behaviours of an event structure
AU - McIver, Annabelle
AU - Rabehaja, Tahiry
AU - Struth, Georg
PY - 2016
Y1 - 2016
N2 - It is well known that every trace of a transition system can be generated using a scheduler. However,this basic completeness result does not hold in event structure models. The reason for this failure is that,according to its standard definition,a scheduler chooses which action to schedule and,at the same time,finishes the one scheduled last. Thus,scheduled events will never be able to overlap. We propose to separate scheduling from finishing and introduce the dual notion of finishers which,together with schedulers,are enough to regain completeness back. We then investigate all possible interactions between schedulers and finishers,concluding that simple alternating interactions are enough to express complex ones. Finally,we show how finishers can be used to filter behaviours to the extent to which they capture intrinsic system characteristics.
AB - It is well known that every trace of a transition system can be generated using a scheduler. However,this basic completeness result does not hold in event structure models. The reason for this failure is that,according to its standard definition,a scheduler chooses which action to schedule and,at the same time,finishes the one scheduled last. Thus,scheduled events will never be able to overlap. We propose to separate scheduling from finishing and introduce the dual notion of finishers which,together with schedulers,are enough to regain completeness back. We then investigate all possible interactions between schedulers and finishers,concluding that simple alternating interactions are enough to express complex ones. Finally,we show how finishers can be used to filter behaviours to the extent to which they capture intrinsic system characteristics.
UR - http://www.scopus.com/inward/record.url?scp=84996598152&partnerID=8YFLogxK
UR - http://purl.org/au-research/grants/arc/DP1092464
U2 - 10.1007/978-3-319-46750-4_8
DO - 10.1007/978-3-319-46750-4_8
M3 - Conference proceeding contribution
SN - 9783319467498
VL - 9965 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 121
EP - 138
BT - Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings
A2 - Sampaio, Augusto
A2 - Wang, Farn
PB - Springer, Springer Nature
CY - Cham, Switzerland
ER -