Sökt på: Sökresultat
totalt 55 träffar
Scandinavia in the Middle Ages 900-1550
Medieval Scandinavia went through momentous changes. Regional power centres merged and gave birth to the three strong kingdoms of Denmark, Norway, and Sweden. At the end of the …
The Rise and Fall of the Danish Empire
This book examines the Danish Empire, which for over four hundred years stretched from Northern Norway to Hamburg and was feared by small German principalities to the South. …
Murder Mysteries: True, Horrific, and Unsolved Murder Cases
Fighting for the Faith
The medieval idea of crusading was formative for Western identity and used for centuries--it actually outlived the Middle Ages and has significant polemical potential even today. …
Schleswig Holstein
Schleswig and Holstein have been contested regions for over a thousand years, but contested between different peoples and groups, and for very different reasons. In modern times, …
Coloured Petri Nets
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de- veloped - from being …
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 …
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 III
AccordingtoHolzmann [14], protocol speci?cationscomprise ?veelements: the service the protocol provides toits users; the set of messages that are exchanged between protocol …
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 …