![]() ![]() ![]() | ![]() |
|
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Zuyan Wang Boleslaw Mikolajczak , Zuyan Wang: Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. ER 2003 : 433-445 Boleslaw Mikolajczak , Zuyan Wang: Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets. IIS 2003 : 535-539 1 [ 1 ] [ 2 ] ![]() ©2005 Association for Computing Machinery |