Verification And Synthesis Of Concurrent Programs Using Petri Nets And Temporal Logic
Download Verification And Synthesis Of Concurrent Programs Using Petri Nets And Temporal Logic PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Verification And Synthesis Of Concurrent Programs Using Petri Nets And Temporal Logic book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic
Abstract: "Both Petri net and temporal logic have been widely used to specify concurrent systems. Petri net is appropriate to explicitly specify the behavioral structures of systems, while temporal logic is appropriate to specify the properties and constraints of systems. Since one can complement the other, using a combination of Petri net and temporal logic is a highly promising approach to analyze, verify and synthesize concurrent programs
Advances in Petri Nets 1991
Author: Helmut Plünnecke
language: en
Publisher: Springer Science & Business Media
Release Date: 1991
"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.