Un mod\`ele bool\'een pour l'\'enum\'eration des siphons et des pi\`eges minimaux dans les r\'eseaux de Petri
暂无分享,去创建一个
Sylvain Soliman | Franccois Fages | Thierry Martinez | Faten Nabli | Thierry Martinez | Faten Nabli | Franccois Fages | S. Soliman
[1] Faten. Nabli,et al. Finding minimal siphons and traps as a Constraint satisfaction Problem , 2011 .
[2] Monika Heiner,et al. Petri Nets for Systems and Synthetic Biology , 2008, SFM.
[3] Hector J. Levesque,et al. Hard and Easy Distributions of SAT Problems , 1992, AAAI.
[4] Roberto Cordone,et al. Characterization of minimal and basis siphons with predicate logic and binary programming , 2002, Proceedings. IEEE International Symposium on Computer Aided Control System Design.
[5] Kamel Barkaoui,et al. Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems , 1990, Discret. Appl. Math..
[6] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[7] Sylvain Soliman,et al. Finding minimal P/T-invariants as a CSP , 2008 .
[8] Michael L. Mavrovouniotis,et al. Petri Net Representations in Metabolic Pathways , 1993, ISMB.
[9] James M. Crawford,et al. Experimental Results on the Crossover Point inSatis ability , 1993 .
[10] Roberto Cordone,et al. Enumeration algorithms for minimal siphons in Petri nets based on place constraints , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[11] Toshimasa Watanabe,et al. Time Complexity Analysis of the Minimal Siphon Extraction Problem of Petri Nets (Special Section on Concurrent Systems Technology) , 1999 .
[12] K. Lautenback. Linear algebraic calculation of deadlocks and traps , 1987 .
[13] Stefan Schuster,et al. Topological analysis of metabolic networks based on petri net theory. , 2011, Studies in health technology and informatics.
[14] Jacky L. Snoep,et al. BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems , 2005, Nucleic Acids Res..
[15] Feng Chu,et al. Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..
[16] K. Kohn. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. , 1999, Molecular biology of the cell.
[17] Philippe Codognet,et al. Design and Implementation of the GNU Prolog System , 2001, J. Funct. Log. Program..
[18] M. Yamauchi,et al. Finding Minimal Siphons in General Petri Nets , 1996 .
[19] Roberto Cordone,et al. Some results on the computation of minimal siphons in Petri nets , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
[20] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[21] R. Goud,et al. Petriweb: A Repository for Petri Nets , 2006, ICATPN.