Formalne narzędzia inicjowania i modelowania toku postępowania w sprawach o przestępstwa