National Repository of Grey Literature 2 records found  Search took 0.00 seconds. 
Petri Net Languages and Their Acceptors
Pavlů, Igor ; Rogalewicz, Adam (referee) ; Češka, Milan (advisor)
In this document P/T Petri nets and Petri nets languages are described. In this document omega-languages and relationship of omega-languages and Petri nets is also described. Main focus is set on design of acceptor (extended Petri net) of some classes of Petri nets languages and implementation of acceptor of this classes. Algorithms (recognition of language type, automatical accepting of string, strings generating) used in implementation of acceptor are described. Correct function of acceptor is demonstrated on tests.
Petri Net Languages and Their Acceptors
Pavlů, Igor ; Rogalewicz, Adam (referee) ; Češka, Milan (advisor)
In this document P/T Petri nets and Petri nets languages are described. In this document omega-languages and relationship of omega-languages and Petri nets is also described. Main focus is set on design of acceptor (extended Petri net) of some classes of Petri nets languages and implementation of acceptor of this classes. Algorithms (recognition of language type, automatical accepting of string, strings generating) used in implementation of acceptor are described. Correct function of acceptor is demonstrated on tests.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.