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