An efficient method for unfolding colored Petri nets

Proceedings - Winter Simulation Conference

Volumn , Issue , 2012, Pages

  Liu, Fei ^a   Heiner, Monika ^b   Yang, Ming ^a  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

^b BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

A TRANSITIONS; COLORED PETRI NETS; CONSTRAINT SATISFACTION; ESSENTIAL PROBLEMS; ITS EFFICIENCIES; OPTIMIZATION TECHNIQUES; SIMULATION AND ANALYSIS; TWO APPROACHES; UNFOLDING METHOD;

PATTERN MATCHING;

PETRI NETS;

EID: 84874741781     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2012.6465203     Document Type: Conference Paper

References (15)

1. Brailsford, S. C., C. N. Potts, and B. M. Smith. 1999. "Constraint Satisfaction Problems: Algorithms and Applications". European Journal of Operational Research 119 (3): 557-581. (Pubitemid 30509793)
2. Gao, Q., D. Gilbert, M. Heiner, F. Liu, D. Maccagnola, and D. Tree. 2012. "Multiscale Modelling and Analysis of Planar Cell Polarity in the Drosophila Wing". IEEE/ACM Transactions on Computational Biology and Bioinformatics. to appear.
3. Gecode. 2011. "Gecode: An Open Constraint Solving Library". http://www.gecode.org
4. Genrich, H. J., and K. Lautenbach. 1979. "The Analysis of Distributed Systems by Means of Predicate/Transition-Nets". In Proc. of the International Sympoisum on Semantics of Concurrent Computation, edited by G. Kahn, LNCS 70, 123-146: Springer. (Pubitemid 10447926)
5. Heiner, M., D. Gilbert, and R. Donaldson. 2008. "Petri Nets for Systems and Synthetic Biology". In Proc. of the 8th international conference on Formal methods for computational systems biology, edited by M. Bernardo, P. Degano, and G. Zavattaro, LNCS 5016, 215-264: Springer.
6. Jensen, K. 1981. "Coloured Petri Nets and the Invariant- Method". Theoretical Computer Science 14 (3): 317-336.
7. Jensen, K. 1992. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts. Berlin Heidelberg: Springer.
8. Jensen, K., and L. Kristensen. 2009. Coloured Petri Nets. Springer.
9. Kordon, F., A. Linard, and E. Paviot-Adet. 2006. "Optimized Colored Nets Unfolding". In Proc. of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, edited by V. D.-G. Elie Najm, Jean-François Pradat-Peyre, LNCS 4229, 339-355: Springer. (Pubitemid 44670683)
10. Kristensen, L. M., and S. Christensen. 2004. "Implementing Coloured Petri Nets Using a Functional Programming Language". Higher-Order and Symbolic Computation 17 (3): 207-243.
11. Liu, F. 2012. Colored Petri Nets for Systems Biology. Ph. D. thesis, Brandenburg University of Technology Cottbus.
12. Mäkelä, M. 2001. "Optimising Enabling Tests and Unfoldings of Algebraic System Nets". In Proc. of the 22nd International Conference on Application and Theory of Petri Nets, edited by M. K. José Manuel Colom, LNCS 2075, 283-302. (Pubitemid 33297942)
13. Rohr, C., W. Marwan, and M. Heiner. 2010. "Snoopy - a Unifying Petri Net Framework to Investigate Biomolecular Networks". Bioinformatics 26 (7): 974-975.
14. Tsang, E. P. K. 1993. Foundations of Constraint Satisfaction. London and San Diego: Academic Press.
15. Ullman, J. D. 1998. Elements of ML Programming. Prentice-Hall.