Sökt på: Sökresultat
totalt 23 träffar
Religionen tur och retur
Religion har varit viktig för människor genom historien och i alla kulturer, men dess betydelse har varierat. Går världen nu mot sekularisering, eller är religionen tvärtom åter på …
Murder Mysteries: True, Horrific, and Unsolved Murder Cases
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 …
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 …
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 I
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 …
Running on Empty
The fall of Saigon in April 1975 resulted in the largest and most ambitious refugee resettlement effort in Canada's history. Running on Empty presents the challenges and successes …
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 …