共 50 条
- [31] ACCESS-CONTROL AND VERIFICATION IN PETRI-NET-BASED HYPERDOCUMENTS COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 49 - 55
- [32] PETRI-NET-BASED ALGORITHMS FOR PARALLEL-CONTROLLER SYNTHESIS IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (06): : 405 - 412
- [33] Property Preservation by Petri-Net-Based Refinements in System Design PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 240 - 246
- [34] Life-cycle inheritance - A Petri-net-based approach APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 62 - 81
- [35] Fast Petri-net-based sequence controller implemented on a DSP 1600, Springer-Verlag London Ltd., London, United Kingdom (09):
- [36] Petri-net-based business process modeling for virtual enterprises SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3183 - 3188
- [37] A Petri-net-based Simulation and Optimization approach for IEM and EI I-ESA 2009: INTERNATIONAL CONFERENCE ON INTEROPERABILITY FOR ENTERPRISE SOFTWARE AND APPLICATIONS CHINA, PROCEEDINGS, 2009, : 129 - 134
- [38] Integrative rapid-prototyping for multimodal user interfaces VDI Berichte, 2002, (1678): : 279 - 284
- [39] Flavor Explore: Rapid Prototyping and Evaluation of User Interfaces DISTRIBUTED, AMBIENT AND PERVASIVE INTERACTIONS: UNDERSTANDING HUMANS, DAPI 2018, PT I, 2018, 10921 : 114 - 123
- [40] Integrative rapid-prototyping for multimodal user interfaces USEWARE 2002, 2002, 1678 : 279 - 284