Joining Petri nets and knowledge based systems for monitoring purposes | IEEE Conference Publication | IEEE Xplore