Planners are asked to find deadlocks in communication protocols, translated into PDDL from the Promela specification language. Deadlocks were specified via blocked transitions and processes. The representation chosen for the processes are finite state transition systems, while communication channels are modelled by queues with moving head and tail pointers. The communication protocols used in IPC-4 were the dining philosophers problem, as well as an optical telegraph routing problem.
Stefan Edelkamp
| file | original name |
|---|---|
| domain.pddl | DOMAIN.PDDL |
| instance-1.pddl | P01_OPT2.PDDL |
| instance-2.pddl | P02_OPT3.PDDL |
| instance-3.pddl | P03_OPT4.PDDL |
| instance-4.pddl | P04_OPT5.PDDL |
| instance-5.pddl | P05_OPT6.PDDL |
| instance-6.pddl | P06_OPT7.PDDL |
| instance-7.pddl | P07_OPT8.PDDL |
| instance-8.pddl | P08_OPT9.PDDL |
| instance-9.pddl | P09_OPT10.PDDL |
| instance-10.pddl | P10_OPT11.PDDL |
| instance-11.pddl | P11_OPT12.PDDL |
| instance-12.pddl | P12_OPT13.PDDL |
| instance-13.pddl | P13_OPT14.PDDL |
| instance-14.pddl | P14_OPT15.PDDL |
| instance-15.pddl | P15_OPT16.PDDL |
| instance-16.pddl | P16_OPT17.PDDL |
| instance-17.pddl | P17_OPT18.PDDL |
| instance-18.pddl | P18_OPT19.PDDL |
| instance-19.pddl | P19_OPT20.PDDL |
| instance-20.pddl | P20_OPT21.PDDL |
| instance-21.pddl | P21_OPT22.PDDL |
| instance-22.pddl | P22_OPT23.PDDL |
| instance-23.pddl | P23_OPT24.PDDL |
| instance-24.pddl | P24_OPT25.PDDL |
| instance-25.pddl | P25_OPT26.PDDL |
| instance-26.pddl | P26_OPT27.PDDL |
| instance-27.pddl | P27_OPT28.PDDL |
| instance-28.pddl | P28_OPT29.PDDL |
| instance-29.pddl | P29_OPT30.PDDL |
| instance-30.pddl | P30_OPT31.PDDL |
| instance-31.pddl | P31_OPT32.PDDL |
| instance-32.pddl | P32_OPT33.PDDL |
| instance-33.pddl | P33_OPT34.PDDL |
| instance-34.pddl | P34_OPT35.PDDL |
| instance-35.pddl | P35_OPT36.PDDL |
| instance-36.pddl | P36_OPT37.PDDL |
| instance-37.pddl | P37_OPT38.PDDL |
| instance-38.pddl | P38_OPT39.PDDL |
| instance-39.pddl | P39_OPT40.PDDL |
| instance-40.pddl | P40_OPT41.PDDL |
| instance-41.pddl | P41_OPT42.PDDL |
| instance-42.pddl | P42_OPT43.PDDL |
| instance-43.pddl | P43_OPT44.PDDL |
| instance-44.pddl | P44_OPT45.PDDL |
| instance-45.pddl | P45_OPT46.PDDL |
| instance-46.pddl | P46_OPT47.PDDL |
| instance-47.pddl | P47_OPT48.PDDL |
| instance-48.pddl | P48_OPT49.PDDL |