Optimizing structural analysis of extended Petri nets models
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 199)
The Petri Net Approach
KeywordsReachability 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.
- R. David, "Modeling of Dynamic Systems by Petri Nets," Proc. European Control Conf. (Grenoble, Fr), July 1991.Google Scholar
- 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
- 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
- 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
- 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
- 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
- W. Reisig. Petri Nets: an Introduction. Springer Verlag, 1982.Google Scholar
- M. Silva, "Logic controllers," Proc. Symp. Low Cost Automat., (Milan, I), vol. 2, pp. F157–F166bis, 1989.Google Scholar
© Springer-Verlag London Limited 1994