Coverart for item
The Resource Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22-26, 1992 Proceedings, edited by K. Jensen

Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22-26, 1992 Proceedings, edited by K. Jensen

Label
Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22-26, 1992 Proceedings
Title
Application and Theory of Petri Nets 1992
Title remainder
13th International Conference Sheffield, UK, June 22-26, 1992 Proceedings
Statement of responsibility
edited by K. Jensen
Creator
Subject
Language
eng
Summary
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
Member of
http://library.link/vocab/creatorName
Jensen, K
Dewey number
004.0151
Image bit depth
0
Index
no index present
Literary form
non fiction
Nature of contents
dictionaries
Series statement
Lecture Notes in Computer Science,
Series volume
616
http://library.link/vocab/subjectName
  • Computer science
  • Computer Communication Networks
  • Operating systems (Computers)
  • Computer software
  • Logic design
Label
Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22-26, 1992 Proceedings, edited by K. Jensen
Instantiates
Publication
Antecedent source
mixed
Color
not applicable
Contents
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 and the safety problem for Petri nets -- High-level nets and linear logic -- Liveness and boundedness analysis for Petri nets with event graph modules -- On weighted T-systems -- Using Petri Nets to develop programs for PLC systems -- Modelling and control of complex logistic systems for manufacturing -- Modelling and evaluation of a satellite system using EVAL, a Petri Net based industrial tool -- Analysis of an Ada system using coloured Petri nets and occurrence graphs -- The stubborn set method in practice -- Modeling fine grain computation via the Fusion of two extended Petri nets
Control code
ocn827359818
Dimensions
unknown
Extent
1 online resource
File format
multiple file formats
Form of item
online
Isbn
9783540472704
Level of compression
uncompressed
Note
SpringerLink
Other physical details
v.: digital
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)827359818
Label
Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22-26, 1992 Proceedings, edited by K. Jensen
Publication
Antecedent source
mixed
Color
not applicable
Contents
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 and the safety problem for Petri nets -- High-level nets and linear logic -- Liveness and boundedness analysis for Petri nets with event graph modules -- On weighted T-systems -- Using Petri Nets to develop programs for PLC systems -- Modelling and control of complex logistic systems for manufacturing -- Modelling and evaluation of a satellite system using EVAL, a Petri Net based industrial tool -- Analysis of an Ada system using coloured Petri nets and occurrence graphs -- The stubborn set method in practice -- Modeling fine grain computation via the Fusion of two extended Petri nets
Control code
ocn827359818
Dimensions
unknown
Extent
1 online resource
File format
multiple file formats
Form of item
online
Isbn
9783540472704
Level of compression
uncompressed
Note
SpringerLink
Other physical details
v.: digital
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)827359818

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...