Sökt på: Böcker av Lars M. Kristensen
totalt 4 träffar
Coloured Petri Nets
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The …
Application and Theory of Petri Nets
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held …
Enhver, som elsker, kender Gud
Enhver, som elsker, kender Gud - kristne homoseksuelle fortæller om deres liv og tro er et alternativt indspark i debatten om kristendom og homoseksualitet. I stedet for at …
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 …