Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction.

Li JiaoTo-Yat CheungWeiming Lu
Published in: Comput. J. (2005)
Keyphrases