Application and Theory of Petri Nets 1992 : 13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings. 1st ed. 1992

種類:

電子ブック

責任表示:

edited by Kurt Jensen

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992

著者名:

• Jensen, Kurt.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 616

ISBN:

9783540472704 [3540472703]    

注記:

Performance issues in parallel programming -- Combining Petri Nets and other formal methods -- Place bisimulations in Petri nets -- A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets -- Refinement and simulation of nets — a categorical characterisation -- Scheduling hard real time systems using high-level Petri nets -- Towards a modular analysis of coloured Petri nets -- A proof of the Rank Theorem for extended free choice nets -- On the product form solution for Stochastic Petri Nets -- Obtaining deadlock-preserving skeletons for coloured nets -- P-superfairness in nets -- Formal verification of an arbiter cascade -- Constructs for modeling information systems with Petri nets -- Construction of a class of safe Petri nets by presenting firing sequences -- An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets -- Hierarchical solution of generalized Stochastic Petri Nets by means of traffic processes -- Concurrency relations a
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.

ローカル注記:

学内専用E-BOOKS (local access only)