Partial Petri Net Languages and their Properties

被引：0
|
作者：
A. Mahadeer
R. Arulprakasam
V. R. Dare
机构：
[1] SRM Institute of Science and Technology,Department of Mathematics, College of Engineering and Technology
[2] Madras Christian College,Department of Mathematics
来源：
International Journal of Information Technology | 2024年 / 16卷 / 6期
关键词：
Partial words; Partial languages; Petri Nets; Closure properties; 68Q45; 68Q70; 68Q85;
D O I：
10.1007/s41870-024-01903-0
中图分类号：
学科分类号：
摘要：
The languages derived from Petri Net provides a efficient technique for verification, validation and synthesis for the system. Partial words are extensively used in the fields such as bioinformatics, pattern matching and text searching. In this paper, we introduce a Partial Petri Net and then define its associated languages. Further, we discuss the closure properties that hold over these derived languages.
引用
收藏
页码：3663 / 3676
页数：13
相关论文
共 50 条
12345