Sökt på: Sökresultat
totalt 4 träffar
Application and Theory of Petri Nets 1992
This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri …
Transactions on Petri Nets and Other Models of Concurrency III
AccordingtoHolzmann [14], protocol speci?cationscomprise ?veelements: the service the protocol provides toits users; the set of messages that are exchanged between protocol …
Tools and Algorithms for the Construction and Analysis of Systems
This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place …
Transactions on Petri Nets and Other Models of Concurrency VI
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial …