Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.

Boleslaw Mikolajczak, Zuyan Wang

Browse the full ER paper archive.