Partial Petri Net Languages and their Properties

Partial Petri Net Languages and their Properties

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International journal of information technology (Singapore. Online) 2024-08, Vol.16 (6), p.3663-3676
Hauptverfasser: Mahadeer, A., Arulprakasam, R., Dare, V. R.
Format: Artikel
Sprache:eng
Schlagworte:
Artificial Intelligence
Computer Imaging
Computer Science
Image Processing and Computer Vision
Machine Learning
Original Research
Pattern Recognition and Graphics
Software Engineering
Vision
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:2511-2104
2511-2112
DOI:10.1007/s41870-024-01903-0