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