書誌事項

Advances in Petri nets 1989

Grzegorz Rozenberg (ed.)

(Lecture notes in computer science, 424)

Springer-Verlag, c1990

  • : gw
  • : us

大学図書館所蔵 件 / 58

この図書・雑誌をさがす

注記

"Covers the 9th European Workshop on Applications and Theory of Petri Nets held in Venice, Italy in June 1988"--Pref

Includes bibliographical references

内容説明・目次

内容説明

This is the latest in a series of volumes presenting recent results on Petri nets to the general computer science community. The papers are selected and prepared to present results which are the most representative and significant for the development of the area.

目次

Stochastic Petri nets: An elementary introduction.- Improving the efficiency of the analysis of DSPN models.- Synchronized elementary net systems.- Descriptive and analytical process algebras.- P/T-systems as abstractions of C/E-systems.- The semantics of capacities in P/T nets.- Petri net tool overview 1989.- Equivalence transformations of PrT-Nets.- A reduction theory for coloured nets.- Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets.- S-CORT (R): A method for the development of electronic payment systems.- Timed Petri nets and application to multi-stage production systems.- Petri net systems and their closure properties.- Occam and the transputer.- About the concurrent behaviour of EN systems: Definability and closure results.- Petri nets and flexible manufacturing.- Some properties of timed nets under the earliest firing rule.- A comparative study of different techniques for semi-flows computation in place/transition nets.- Elementary net systems and dynamic logic.- Representation of a swapping class by one net.- Design methods based on nets.- CEDISYS compositional distributed systems state of the art, research goals, references.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA10186951
  • ISBN
    • 3540524940
    • 0387524940
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Berlin ; Tokyo
  • ページ数/冊数
    vi, 524 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ