Nets as a Consistent Formal Tool for the Stepwise Design and Verification of a Distributed System.

For the most recent entries see the Petri Nets Newsletter.

Nets as a Consistent Formal Tool for the Stepwise Design and Verification of a Distributed System.

In: Hawgood, J.: Proc. of IFIP TC-8 Working Conf. on Evolutionary Information Systems, Budapest, Sep., 1981, pages 173-191. Amsterdam: North-Holland, 1982.

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

Back to the Petri Nets Bibliography