Dynamic quest plot generation using Petri net planning
Designing Procedural Game Spaces: A Case Study