Net-definability of process languages

• Autorzy: Czaja L.
• Języki publikacji: EN

Abstrakty

EN

Synthesis of elementary Petri net from a given process language (given by an expression in an algebra resembling the algebra of regular languages) is posed and solved. A necessary and sufficient condition for existence of such net is proved.

Słowa kluczowe

EN

Petri net; process; process language algebra; synthesis problems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 37, Nr 3
• Strony: 213--223
• Opis fizyczny: bibliogr. 6 poz.

Twórcy

autor

Czaja L.

• Institute of Informatics Warsaw University ul. Banacha 2 02-097 Warsaw, Poland l,