Lars M. Kristensen – författare
Visar alla böcker från författaren Lars M. Kristensen. Handla med fri frakt och snabb leverans.
7 produkter
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Av Kurt Jensen, Lars M. Kristensen
Inbunden, 2009
904 kr
Lägg i varukorg
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 development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and …
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Av Lars M. Kristensen, Kurt Jensen
E-bok, 2009
887 kr
Lägg i varukorg
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 development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and …
Application and Theory of Petri Nets
32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
Av Lars M. Kristensen, Laure Petrucci
Häftad, 2011
568 kr
Lägg i varukorg
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 in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected …
Application and Theory of Petri Nets
32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
Av Laure Petrucci, Lars M. Kristensen
E-bok, 2011
739 kr
Lägg i varukorg
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 in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected …
Transactions on Petri Nets and Other Models of Concurrency VI
Av Wil M. P. van der Aalst, Marco Ajmone Marsan m. fl.
Häftad, 2012
568 kr
Lägg i varukorg
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 applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own …
Transactions on Petri Nets and Other Models of Concurrency VI
Av Lars M. Kristensen, Jetty Kleijn m. fl.
E-bok, 2012
739 kr
Lägg i varukorg
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 applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own …
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Av Kurt Jensen, Lars M. Kristensen
Häftad, 2014
680 kr
Lägg i varukorg
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 development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and …
