Computation of enabled transition instances for colored Petri nets

CEUR Workshop Proceedings

Volumn 643, Issue , 2010, Pages 51-65

  Liu, Fei ^a   Heiner, Monika ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BINDING PROCESS; COLORED PETRI NETS; CORRESPONDING COLORS; OPTIMIZATION TECHNIQUES; POTENTIAL BINDING;

ALGORITHMS; ANIMATION; COMPUTER WORMS; OPTIMIZATION; PATTERN MATCHING; TOOLS;

PETRI NETS;

EID: 84890307870     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. R. Gaeta: Efficient Discrete-Event Simulation of Colored Petri Nets. IEEE Transactions on Software Engineering. 22(9), 629-639 (1996)
2. K. Jensen, L. M. Kristensen, L. Wells: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer. 9, 213-254 (2007)
3. L. M. Kristensen, S. Christensen: Implementing Coloured Petri Nets Using a Functional Programming Language. Higher-Order and Symbolic Computation. 17(3), 207-243 (2004)
4. F. Liu, M. Heiner: Colored Petri nets to model and simulate biological systems. International Workshop on Biological Processes and Petri Nets (BioPPN). (2010)
5. M. Mäkelä: Optimising Enabling Tests and Unfoldings of Algebraic System Nets. International Conference on Application and Theory of Petri Nets, LNCS, 2075, 283-302 (2001)
6. K. H. Mortensen: Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator. 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01), 57-74 (2001)
7. Petri Nets World. http://www.informatik.uni-hamburg.de/TGI/PetriNets. (2010)
8. M. J. Sanders: Effecient Computation of Enabled Transition Bindings in High-Level Petri Nets. IEEE International Conference on Systems, Man and Cybernetics. 3153-3158 (2000)
9. C. Rohr, W. Marwan, M. Heiner: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics. 26(7): 974-975 (2010)
10. J. D. Ullman: Elements of ML Programming. Prentice-Hall. (1998)