Petri Nets and Parallel Bus Controller Design