MEFISTO WP2-1
Duc Hoa, L., Palanque, P., Bastide, R.
An algorithm for the detection of liveness in free choice Petri nets by the calculation of siphons and traps
An important property of functioning of a system is liveness. The dynamic behaviour of a system can be specified by a Petri nets. This specification must be respected the properties of system, one of them is liveness. A technique to verify liveness character is done by the Commoner's theorem. For this, siphons and traps must be determined.
This paper shows us a method, which allows calculating siphon and trap sets and determines the liveness character for a system modelled by Petri nets.
Home
Overview
Contact list
Planning of Work
Documents
Workspace
Related Links
Statistics