尤晋元 梁坚 康继昌 施军 洪远麟

网上购物仿真系统 配置周期中断 回答集 组织模型 访问控制 模型描述语言 配置空间 访问请求 停-等协议 私有权限 安全策略 有色Petri网 过程模型 DesignCPN 域 逻辑程序 管理 稳定模型 约束 配置命令 工作流管理系统 冲突 角色

上海交通大学计算机科学与工程系 西北工业大学计算机科学与工程系