Optimizing structural analysis of extended Petri nets models

  • Luca Ferrarini
  • Massimo Trioni
The Petri Net Approach
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 199)


Reachability Analysis Conditioned Transition Equivalent Module Trivial Module Arrival Transition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    K. P. Brand and J. Kopainski, "Principles and Engineering Process Control with Petri Nets," IEEE Trans. Aut. Contr., vol. 33, no. 2, pp. 138–149, Feb. 1988.CrossRefGoogle Scholar
  2. [2]
    R. David, "Modeling of Dynamic Systems by Petri Nets," Proc. European Control Conf. (Grenoble, Fr), July 1991.Google Scholar
  3. [3]
    L. Ferrarini, "An incremental approach to logic controller design with Petri nets," IEEE Trans. Syst Man Cybern., vol. SMC-22, no. 3, pp.461–473, 1992.CrossRefGoogle Scholar
  4. [4]
    L. Ferrarini, "On the reachability and reversibility problem in a class of Petri nets," accepted for pubblication in IEEE Trans. Syst Man Cybern.Google Scholar
  5. [5]
    L. Ferrarini, A. Lecci and M. Trioni, "Incremental design of logic controllers," Int. Rep. no93049 Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano (Italy).Google Scholar
  6. [6]
    L. Ferrarini, M. Narduzzi and M. Tassan-Solet, "A new approach to modular liveness analysis conceived for large logic controllers' design," to be published on IEEE Trans. on Rob. & Automation, (special issue on Computer integrated manufacturing, Part II)Google Scholar
  7. [7]
    M. D. Jeng and F. DiCesare, "A synthesis method for Petri net modeling of automated manufacturing systems with shared resources" Proc. of 31st Conf. on Dec. and Control (Tucson, AZ) 1992 pp. 1184–1189.Google Scholar
  8. [8]
    C. Maffezzoni and L. Ferrarini, "Designing Logic Controllers with Petri Nets," IFAC Symposium on Computer Aided Design in Control Systems, (Swansea, GB), July 1991.Google Scholar
  9. [9]
    T. Murata, "Petri nets: properties, analysis and applications," Proc. of the IEEE, vol. 77, no4, pp 541–580, Apr. 1989.CrossRefGoogle Scholar
  10. [10]
    W. Reisig. Petri Nets: an Introduction. Springer Verlag, 1982.Google Scholar
  11. [11]
    M. Silva, "Logic controllers," Proc. Symp. Low Cost Automat., (Milan, I), vol. 2, pp. F157–F166bis, 1989.Google Scholar
  12. [12]
    M. C. Zhou, F. DiCesare and A. Desrochers, "Hybrid methodology for synthesis of Petri nets models for Manufacturing Systems," IEEE Trans. Robotics. Autom., vol. 8, no. 3, pp. 350–361, 1992.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • Luca Ferrarini
    • 1
  • Massimo Trioni
  1. 1.Dipartimento di Elettronica e InformazionePolitecnico di MilanoMilanoItaly

Personalised recommendations