Architecture of computer-based systems using dualistic Petri nets | IEEE Conference Publication | IEEE Xplore