A High-Level Petri Net for Accurate Modeling of Reactive and Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)