Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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 net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of these coming from industry and the rest from universities and research institutions. The 1992 conference was organized by the School of Computing and Management Sciences at Sheffield City Polytechnic, England. The volume contains twoinvited papers, by G. Balbo and W. Reisig, 18 submitted papers, and seven project papers. The submitted papers and project presentations were selectedby the programme committee and a panel of referees from a large number of submissions.

Computer architecture. Operating systems --- 681.3 *C2 --- 681.3*D22 --- 681.3*F1 --- 681.3*F32 --- Computer communication networks: data communications; OSI; security and protection --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Computation by abstract devices --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F1 Computation by abstract devices --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Petri nets --- Congresses --- Machine theory --- Information theory. --- Computer science. --- Computer software. --- Computer Communication Networks. --- Operating systems (Computers). --- Theory of Computation. --- Computation by Abstract Devices. --- Processor Architectures. --- Algorithm Analysis and Problem Complexity. --- Operating Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Software, Computer --- Computer systems --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Operating systems

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Heterogeneous catalysis. --- Catalysts. --- Catalytic agents --- Catalysis --- Chemical inhibitors

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Denmark --- History. --- Politics and government.