Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings

Haisheng Wang, Liviu Grigore, Ugo Buy, Mihai Lehene, Houshang Darabi. Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 41(3):522-539, 2011. [doi]

Authors

Haisheng Wang

This author has not been identified. Look up 'Haisheng Wang' in Google

Liviu Grigore

This author has not been identified. Look up 'Liviu Grigore' in Google

Ugo Buy

This author has not been identified. Look up 'Ugo Buy' in Google

Mihai Lehene

This author has not been identified. Look up 'Mihai Lehene' in Google

Houshang Darabi

This author has not been identified. Look up 'Houshang Darabi' in Google