Kvachuk，K.P。 利用Petri网对信息系统进行建模（ASPID-7/SM案例）。 （英语。俄文原件） Zbl 0659.68086号 程序。计算。软件 14，第1号，12-21（1988）; 译自Programmirovanie 1988，No.1，37-49（1988）。 为了对信息系统进行数学描述，我们将Petri网的解释形式化为组合编程。提出的方法对软件实现的主要方面进行了综合描述，并在流行的小型计算机系统ASPID-7/SM开发的模型中进行了应用演示。 MSC公司： 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68N99型 软件理论 关键词：Petri网;组合编程;信息系统;小型计算机 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Kvachuk}，程序。计算。柔和。14，第1号，12-21（1988年；Zbl 0659.68086）；译自Programmirovanie 1988，No.1，37-49（1988）