Charles Lakos6
Keywords Theory of High-Level Petri Nets - Abstraction - Refinement
References secured to subscribers.