The Formal Model for the butterfly Pieris napi (Lepidoptera, Pieridae) agent-based model in the Animal Landscape and Man Simulation System (ALMaSS) (Food and Ecological Systems Modelling Journal, 2025)