离散事件系统概念和行为建模方法的集成：II.逻辑代数操作模型和信息通信技术

DOI:

评审日期

出版日期

注解: 本文研究的对象是异步离散事件系统中的信息过程。 这种系统的例子可以是组织-经济、生产和计算系统。 研究的主题是基于人工智能方法和行为离散事件建模的整合的异步离散事件系统的形式化和分析方法。 作为一个合适的主题领域的例子，本文考虑了一个灵活的自动化生产现场，缩写GAP（Fms-灵活的制造系统）。 该研究的方法论基于一阶和二阶谓词的逻辑，抽象机器网络的形式主义，人工智能模型和首次提出的概念Petri网。 该研究的新颖之处在于最终在异步离散事件系统的概念和行为模型的基础上获得正式的直接可执行规范，例如，适用于控制产品灵活自动化生产的无线计算机网络的网络软件的后续实现。
文章的第二部分表明，对象之间具有事件，角色和因果联系的语义网络（情景网络）不仅可以完全表示声明性的，还可以完全表示有关主题领域的程序性知 为了建立一个行为离散事件模型，从一个包含描述灵活自动化生产站点的事件的语义网络到一个Petri网络，然后到一个由逻辑代数表达式描述的抽象机器网络。 为了保持模型的信息性，提出了一些品种的Petri网，并定义了一类新的Petri网-概念Petri网。 提出了形式化的可执行规范，考虑到参与来自无线网络的事件和控制的实施的所有对象的角色。 使用抽象机器网络的语言简化了基于C、C++、C#等知名语言的系统智能行为模型的进一步实现。 提出了构建逻辑代数运算（可执行）模型的原理，旨在建立控制机器人生产的无线网络的分布式网络应用。

出版日期: