An approach is proposed for modeling and scheduling batch production systems based on Petri nets. First. a group of jobs to be carried out by a batch production system is modeled by a transition-timed Petri net according to logical relations between operations and time requirements on operations. Second. https://tandylsathers.shop/