Towards a generic definition of Petri systems supporting abstraction and views | IEEE Conference Publication | IEEE Xplore