Architecture of computer-based systems using dualistic Petri nets