w-Process Languages for Place/Transition Nets

• Autorzy: Czaja L. , Kudlek M.
• Języki publikacji: EN

Abstrakty

EN

The definition of process admitted here follows the line developed for elementary (1-safe) Petri nets and published in [Cza 99], [Cza 2000a], [Cza-Kud 2000]. It pertains not to any particular net, thus allows for collecting processes into arbitrary sets, i.e. process languages, and for asking questions like: for a given process language decide if there exists a Place/Transition net and if yes, contruct it (synthesis). The collection of all process languages is a semantic domain for Place/Transition nets. w-process languages contain both finite and infinite processes. The main problems pursued are analysis, synthesis and iteration lemmata for w-process languages. Surprisingly, the problems enjoy much simpler solutions for processes generated by P/T nets than generated by elementary nets.

Słowa kluczowe

EN

place/transition Petri net; process; w-process language; analysis; synthesis; iteration lemmata

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 47, nr 3,4
• Strony: 217--229
• Opis fizyczny: bibliogr. 24 poz.

Twórcy

autor

Czaja L.

autor

Kudlek M.

• Institute of Informatics, Warsaw University,,