In: Proc. of the ISATA 17th Int. Symp. on Automotive Technology and Automation, Vol. 2, pages 1-15. Croydon: Allied Autom., 1987.
Abstract: The authors propose that by extending the Petri net (PN) language so as to be able to non-intrusively test for vacant places, and to examine the conditions of transitions, it is possible to increase the range of applications of PNs. With this technique, combinational elements of concurrent systems, as well as deterministic processes can be represented on a unified Petri net.