System modeling: Petri nets and activity networks in juxtaposition | IEEE Conference Publication | IEEE Xplore