基于X.500目录服务的NPnP过程的形式化描述

国家学术搜索

首页|基于X.500目录服务的NPnP过程的形式化描述

基于X.500目录服务的NPnP过程的形式化描述

扫码查看

原文链接

NETL

中文摘要：基于X.500目录服务的NPnP实现方案<'[1,2]>是的一项具有实用价值的研究成果.本文用Petri网<'[3,4]>描述了该方案的NPnP过程.目的是对其进行形式化描述,以便深入的理解,为它的具体实现及进一步的研究奠定基础.

作者：

蒋序平、陈鸣、何中枢

展开 >

作者单位：

解放军理工大学指挥自动化学院计算机教研室(南京)

关键词：

Petri网网络即插即用 X.500目录服务网络配置管理网络打印机

主办单位：

中国计算机学会

会议名称：

中国计算机学会网络与数据通信学术会议

会议时间：

2002-12-02

会议地点：

武汉

会议母体文献：

中国计算机学会网络与数据通信学术会议论文集

页码：

91-95

出版时间：

2002