Advances in Petri Nets, 1991
Springer-Verlag, 1991 - Computers - 572 pages
"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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
abstraction Advances in Petri algebraic net schemes algorithm Analysis Application and Theory Automation Bad Honnef behaviour Berlin Bonn color Communication Protocols composition Computer Science Vol Computer Society Press Concurrent Systems Conf Control deﬁned Deﬁnition denoted Distributed elements equivalence relation example F-robust F-strong Figure fiir ﬁring ﬁrst Gesellschaft fir Group on Petri HCP-net high-level nets HOOD Nets IEEE Computer Society implementation Informatik initial marking input interface kanban Lecture Notes live Marked Graphs Microprogramming morphisms Nets and Related Newcastle upon Tyne node Notes in Computer object occurrence operation optimal simulation Parallel Petri Net Models Proc Proceedings Programming Proof properties Protocols pushout quasi-live reachability graph reentrant reentrant nets Reisig Related System Models Rozenberg SADT semantics set of places Software sorting network Speciﬁcation Springer Springer-Verlag structure subnet Synchronization theorem Theory of Petri tokens transitions tuples Univ variables Veriﬁcation Verlag