Structural modelling with Petri nets

• Autorzy: Bluemke I.
• Języki publikacji: EN

Abstrakty

EN

An example of structural modelling with Petri nets with refinements is discussed. A simple assembly line consisting of two machines is considered. The assembly line model is made more precise by refining each transition representing the machine, by the Petri net defining its operation. The Petri net model of the assembly line is used as a building block while modelling an entire factory unit. The descriptions of all Petri nets used are given in the new high-level language.

Słowa kluczowe

EN

modelling; Petri net

• Wydawca: Wydawnictwo Politechniki Poznańskiej
• Czasopismo: Foundations of Computing and Decision Sciences
• Rocznik: 1998
• Tom: Vol. 23, No. 1
• Strony: 3--13
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Bluemke I.

• Institute of Computer Science Warsaw University of Technology. Nowowiejska 15/19, 00-665 Warsaw, Poland