共 50 条
- [41] Aspect-Oriented Modeling of Quality Attributes ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008 WORKSHOPS, 2008, 5333 : 334 - 343
- [42] An Extensible Aspect-Oriented Modeling Environment ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2009, 5565 : 17 - 31
- [45] Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (07): : 89 - 108
- [46] Modeling and Analysis of Inventory System by Using Colored Petri Nets IEEE/SOLI'2008: PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS, VOLS 1 AND 2, 2008, : 1359 - 1364
- [47] Analysis and verification queries over object-oriented Petri nets COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 369 - 384
- [48] Modeling and verification of sequential control paths using Petri nets DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 41 - 46
- [50] Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets 2005 IEEE International Conference on Granular Computing, Vols 1 and 2, 2005, : 427 - 430