Penczek, Wojciech.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Applications and theory of Petri nets31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings /
by:
(1998 :); Lilius, Johan.; Penczek, Wojciech.; SpringerLink (Online service)
(Electronic resources)
Advances in Verification of Time Petri Nets and Timed Automata :A Temporal Logic Approach /
by:
Penczek, Wojciech.; P籀lrola, Agata.
(Electronic resources)
Transactions on petri nets and other models of concurrency XII
by:
Kleijn, Jetty.; Koutny, Maciej.; Penczek, Wojciech.; SpringerLink (Online service)
(Electronic resources)
Advances in Verification of Time Petri Nets and Timed AutomataA Temporal Logic Approach /
by:
Penczek, Wojciech.; Pólrola, Agata.
(Electronic resources)
Transactions on petri nets and other models of concurrency XIII
by:
Koutny, Maciej.; Kristensen, Lars Michael.; Penczek, Wojciech.; SpringerLink (Online service)
(Electronic resources)
Subjects
Artificial intelligence
Appl.Mathematics/Computational Methods of Engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Petri nets
Computation by Abstract Devices.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Data Structures.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Petri nets.
Data Mining and Knowledge Discovery.
Transportation.
Engineering
Computer Science.
Discrete Mathematics in Computer Science.
Engineering mathematics