Verification and analysis of properties of dynamic systems based on Petri nets

Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI:10.1109/PCEE.2002.1115209

D. Lamch

引用次数: 5

Abstract

The article presents an example of using Petri nets to research properties of telecommunication systems. In order to analyse dynamic features in an algebraic way a software tool has been developed in the Technical University of Czestochowa.

查看原文本刊更多论文

基于Petri网的动态系统特性验证与分析

本文给出了利用Petri网研究电信系统性能的一个实例。为了以代数的方式分析动态特征，琴斯托霍瓦工业大学开发了一个软件工具。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings. International Conference on Parallel Computing in Electrical Engineering

自引率

0.00%

发文量