| Autor: |
Mahadeer, A., Arulprakasam, R., Dare, V. R. |
| Zdroj: |
International Journal of Information Technology; August 2024, Vol. 16 Issue: 6 p3663-3676, 14p |
| Abstrakt: |
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. |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
Full text from SpringerLink