Advances in Petri Nets 1990 (Record no. 35060)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03915nam a22005535i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540463696 |
-- | 978-3-540-46369-6 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.0151 |
245 10 - TITLE STATEMENT | |
Title | Advances in Petri Nets 1990 |
Statement of responsibility, etc | edited by Grzegorz Rozenberg. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1991. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | VIII, 516 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | A survey of behaviour and equivalence preserving refinements of petri nets -- A distributed simulator for high order Petri nets -- Petri nets with uncertain markings -- Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows -- Improving the linearly based characterization of P/T nets -- Linear invariants in commutative high level nets -- Vicinity respecting net morphisms -- Regular stochastic petri nets -- Circuits, handles, bridges and nets -- On the analysis and synthesis of free choice systems -- Petri net models of a distributed election protocol on a unidirectional ring -- Hierarchies in coloured petri nets -- Coloured petri nets: A high level language for system design and analysis -- A simulation system architecture for graph models -- A state transformation preorder over a class of EN systems -- Composition of nets via a communication medium -- ?Trellis: A system for writing and browsing petri-net-based hypertext -- Stubborn sets for reduced state space generation. |
520 ## - SUMMARY, ETC. | |
Summary, etc | The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Communication Networks. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Operating systems (Computers). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer software. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logic design. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computation by Abstract Devices. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Algorithm Analysis and Problem Complexity. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Processor Architectures. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Communication Networks. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Operating Systems. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Rozenberg, Grzegorz. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-53863-1 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1991. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK5766 | http://dx.doi.org/10.1007/3-540-53863-1 | E-BOOKS |