Modeling admissible behavior with net condition/event systems | IEEE Conference Publication | IEEE Xplore