For the most recent entries see the Petri Nets Newsletter.

Regular Nets: Specification and Validation by the Software ARP.

Haddad, S.; Bernard, J.M.

In: Proc. of the 3rd Conf.: Exhibition on Software Engineering, Paris, pages 83-93. 1986. In French.


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

Back to the Petri Nets Bibliography