On the composition of time Petri nets

By Peres Florent  

Discrete Event Dynamic Systems, Vol. 21, Iss. 3, 2011-09 ,pp. : 395-424

Springer Publishing Company

Access to resources Recommend Favorite

Using Neural Nets in Modelling Vector Time Series

By Östermark Ralf  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 23, Iss. 9, 1994-09 ,pp. : 12-22

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

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