1. Anwar, S., Baral, C., Inoue, K.: Encoding petri nets in answer set programming for simulation based reasoning (2013), http://arxiv.org/abs/1306.3542
2. Reece, J., Cain, M., Urry, L., Minorsky, P., Wasserman, S.: Campbell Biology. Pearson Benjamin Cummings (2010)
3. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam answer set solving collection. AI Com. 24(2), 105–124 (2011)
4. Peterson, J., et al.: A note on colored petri nets. Information Processing Letters 11(1), 40–43 (1980)