Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005466879/catalog> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- catalog abstract ""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. Thepapers 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 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries."--PUBLISHER'S WEBSITE.".
- catalog alternative "Bibliography of Petri Nets 1990.".
- catalog contributor b7708504.
- catalog contributor b7708505.
- catalog contributor b7708506.
- catalog contributor b7708507.
- catalog created "c1991.".
- catalog date "1991".
- catalog date "c1991.".
- catalog dateCopyrighted "c1991.".
- catalog description ""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. Thepapers 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 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries."--PUBLISHER'S WEBSITE.".
- catalog description "(cont.) On net systems generated by process foldings / E. Smith -- On liveness preservation by composition of nets via a set of places / Y. Souissi -- Software implementation of petri nets and compilation of rule-based systems / R. Valette, B. Bako.".
- catalog description "Delays in synchronized elementary net systems / C. André -- Proving temporal properties of petri nets / J.C. Bradfield -- The complexity of testing the equivalence of transition sequences / H. Carstensen -- Use of reentrant nets in modular analysis of colored nets / G. Chehaibar -- On abstractions of nets / J. Desel -- Semantics, composition and net properties of algebraic high-level nets / C. Dimitrovici, U. Hummert, L. Petrucci -- Top-down synthesis of live and bounded free choice nets / J. Esparza, M. Silva -- Hood nets / R. di Giovanni -- Distributable nets / R.P. Hopkins -- Computer supported design of kanban controlled production / F. Itter, C. Relewicz -- Optimal simulations, nets and reachability graphs / R. Janicki, M. Koutny -- An integrated software development methodology based on hierarchical colored petri nets / V.O. Pinci, R.M. Shapiro.".
- catalog description "Includes "Bibliography of Petri Nets 1990" by H. Plünnecke and W. Reisig : p. [317]-572.".
- catalog extent "viii, 572 p. :".
- catalog hasFormat "Advances in Petri Nets, 1991.".
- catalog identifier "0387543988 (New York)".
- catalog identifier "3540543988 (Berlin)".
- catalog isFormatOf "Advances in Petri Nets, 1991.".
- catalog isPartOf "Lecture notes in computer science ; 524".
- catalog issued "1991".
- catalog issued "c1991.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Advances in Petri Nets, 1991.".
- catalog subject "Machine theory Congresses.".
- catalog subject "Petri nets Congresses.".
- catalog subject "QA267 .A48 1991b".
- catalog tableOfContents "(cont.) On net systems generated by process foldings / E. Smith -- On liveness preservation by composition of nets via a set of places / Y. Souissi -- Software implementation of petri nets and compilation of rule-based systems / R. Valette, B. Bako.".
- catalog tableOfContents "Delays in synchronized elementary net systems / C. André -- Proving temporal properties of petri nets / J.C. Bradfield -- The complexity of testing the equivalence of transition sequences / H. Carstensen -- Use of reentrant nets in modular analysis of colored nets / G. Chehaibar -- On abstractions of nets / J. Desel -- Semantics, composition and net properties of algebraic high-level nets / C. Dimitrovici, U. Hummert, L. Petrucci -- Top-down synthesis of live and bounded free choice nets / J. Esparza, M. Silva -- Hood nets / R. di Giovanni -- Distributable nets / R.P. Hopkins -- Computer supported design of kanban controlled production / F. Itter, C. Relewicz -- Optimal simulations, nets and reachability graphs / R. Janicki, M. Koutny -- An integrated software development methodology based on hierarchical colored petri nets / V.O. Pinci, R.M. Shapiro.".
- catalog title "Advances in Petri Nets, 1991 / G. Rozenberg (Ed.).".
- catalog title "Bibliography of Petri Nets 1990.".
- catalog type "Conference proceedings. fast".
- catalog type "text".