For the most recent entries see the Petri Nets Newsletter.

Combining Petri Nets and Other Formal Methods.

Reisig, W.

In: Jensen, K.: Lecture Notes in Computer Science, Vol. 616; 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, pages 24-44. Springer-Verlag, June 1992.

Abstract: Several practically important concepts, supporting proper treatment of concurrency, have evolved during the recent years. Many of them have been presented in formal settings different from Petri Nets. In this paper we exemplify some of those concepts and relate them to the state-of-the art in Petri Nets.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography