A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
A Synthesis Method for Petri Net with Prescribed Firing Sequence
指定点弧系列をもつペトリネットの合成方法
1985
Transactions of the Society of Instrument and Control Engineers
指定点弧系列をもつペトリネットの合成方法
The paper describes an algorithm to synthesize a Petri net which can generate a given firing sequence. The Petri net is one of the effective tools to represent event-condition systems which act asynchronously and concurrently, such as production systems in which work pieces, data or informations are processed in order by the system components. As we realize such systems including system control, how to realize the processing order given and how to arbitrate conflicts are fundamental problems.
doi:10.9746/sicetr1965.21.277
fatcat:orsotbkjtzdkxpofnfwycfpncq