Compositional specification of real time embedded systems by priority time Petri Nets

By Mahfoudhi Adel   Hadj Kacem Yessine   Karamti Walid   Abid Mohamed  

The Journal of Supercomputing, Vol. 59, Iss. 3, 2012-03 ,pp. : 1478-1503

Springer Publishing Company

Access to resources Recommend Favorite

Time-based expressivity of time Petri nets for system specification

By Cerone A.   Maggiolo-Schettini A.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 1-53

Elsevier

Access to resources Recommend Favorite

Model Checking of Time Petri Nets Using the State Class Timed Automaton

By Lime Didier   Roux Olivier  

Discrete Event Dynamic Systems, Vol. 16, Iss. 2, 2006-04 ,pp. : 179-205

Springer Publishing Company

Access to resources Recommend Favorite

State Observer for DES Under Partial Observation with Time Petri Nets

By Ghazel Mohamed   Toguyéni Armand   Yim Pascal  

Discrete Event Dynamic Systems, Vol. 19, Iss. 2, 2009-06 ,pp. : 137-165

Springer Publishing Company

Access to resources Recommend Favorite

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

By Berthomieu Bernard   Lime Didier   Roux Olivier   Vernadat François  

Discrete Event Dynamic Systems, Vol. 17, Iss. 2, 2007-06 ,pp. : 133-158

Springer Publishing Company

Access to resources Recommend Favorite