Languages
Kristensen, Lars M.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Coloured petri nets = modelling and validation of concurrent systems /
by:
Kristensen, Lars M.; SpringerLink (Online service); Jensen, Kurt.
(Electronic resources)
Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Kristensen, Lars M.; Petrucci, Laure.
(Electronic resources)
Subjects
Software Engineering.
Petri nets
Computer Science.
Programming Techniques.
Petri nets.
Computer Systems Organization and Communication Networks.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.