Joseph Sifakis

Joseph.Sifakis@imag.fr
Tel: (+33) 457 42 22 44

Photo
 
Petri Nets
Joseph Sifakis
  • J. Sifakis - Use of Petri nets for Performance Evaluation
    3rd Intl. Symposium on Modeling and Evaluation, IFIP, North Holland, pp. 75-93, 1977
  • J. Sifakis - Realization of Fault-tolerant Systems by Coding Petri Nets
    8th Intl. Conf. on Fault-tolerant Computing, IEEE, June 1978 and Journal of Design Automation and Fault-Tolerant Computing Vol.3, April 1979, pp. 93-107
  • M. Moalla and J. Pulou and J. Sifakis - Synchronized Petri nets: A Model for the Description of Non-autonomous Systems
    7th MFCS, LNCS 64, Springer Verlag, 1978, pp. 374-383
  • J. Sifakis - Structural Properties of Petri Nets
    7th MFCS, LNCS 64, Springer Verlag, 1978, pp.474-483
  • J.P. Queille and J. Sifakis. - Iterative Methods for the Analysis of Petri nets
    1st European Workshop on Applications and Theory of Petri nets, Springer Verlag, Sept. 1982