Sökt på: Sökresultat
totalt 61 träffar
High-level Petri Nets
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is …
Crusading at the Edges of Europe
This book is the first to compare Denmark and Portugal systematically in the High Middle Ages and demonstrates how the two countries became strong kingdoms and important powers …
Sikkerhedselektronik
Blokeringsfri bremser ABS-bremser vil inden for en overskuelig fremtid være standardsikkerhedsudstyr i de fleste køretøjer. Den nye teknologi medfører ændrede metoder ved …
Leena And Lacy
High-level Petri Nets
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is …
Coloured Petri Nets
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation …
Coloured Petri Nets
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation …
Pearls Of Wisdom
Expert Care Family Focus Your dental health is vital to not only your personal wellness, but your overall well-being. For something so important, your experience should be one you …
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 …
Transactions on Petri Nets and Other Models of Concurrency VII
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 …
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 …
Saints and Sainthood around the Baltic Sea
This volume addresses the history of saints and sainthood in the Middle Ages in the Baltic Region, with a special focus on the cult of saints in Russia, Prussia, Finland, Sweden, …