References in zbMATH (referenced in 34 articles , 1 standard article )

Showing results 1 to 20 of 34.
Sorted by year (citations)

1 2 next

  1. Jensen, Kurt; Kristensen, Lars M.; Mailund, Thomas: The sweep-line state space exploration method (2012)
  2. Kokash, Natallia; Krause, Christian; De Vink, Erik: Reo + $\mathrmmCRL2$: a framework for model-checking dataflow in service compositions (2012)
  3. Yang, Nianhua; Yu, Huiqun; Qian, Zhilin; Sun, Hua: Modeling and quantitatively predicting software security based on stochastic Petri nets (2012)
  4. Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta: Petri nets for modelling metabolic pathways: a survey (2010)
  5. Kristensen, Lars M.: A perspective on explicit state space exploration of coloured Petri nets: past, present, and future (2010)
  6. Lin, Yi-Neng; Lin, Ying-Dar; Lai, Yuan-Cheng: Thread allocation in CMP-based multithreaded network processors (2010)
  7. Rozinat, A.; Mans, R.S.; Song, M.; van der Aalst, W.M.P.: Discovering simulation models (2009)
  8. Chaouiya, Claudine; Remy, Elisabeth; Thieffry, Denis: Petri net modelling of biological regulatory networks (2008)
  9. Gottschalk, F.; van der Aalst, W.M.P.; Jansen-Vullers, M.H.; Verbeek, H.M.W.: Protos2cpn: Using colored Petri nets for configuring and testing business processes (2007)
  10. Gradišar, D.; Mušič, G.: Automated Petri-net modelling based on production management data (2007)
  11. Jensen, Kurt; Kristensen, Lars Michael; Wells, Lisa: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems (2007)
  12. Kristensen, Lars M.; Mechlenborg, Peter; Zhang, Lin; Mitchell, Brice; Gallasch, Guy E.: Model-based development of a course of action scheduling tool (2007)
  13. Rozinat, A.; Mans, R.S.; Song, M.; van der Aalst, W.M.P.: Discovering colored Petri nets from event logs (2007)
  14. Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia: Transformations of Petri nets. (2006)
  15. Penczek, Wojciech; Półrola, Agata: Advances in verification of time Petri nets and timed automata. A temporal logic approach. (2006)
  16. Al-Azzoni, Issam; Down, Douglas G.: Modeling and verification of cryptographic protocols using coloured Petri nets and Design/CPN (2005)
  17. Ben Mnaouer, Adel; Al-Riyami, Badriya: Effective scheduling of local interactive processes and parallel processes in a non-dedicated cluster environment (2005)
  18. Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till: High-level nets with nets and rules as tokens (2005)
  19. Lakos, Charles A.; Kristensen, Lars M.: State space exploration of object-based systems using equivalence reduction and the sweepline method (2005)
  20. Ehrig, Hartmut; Padberg, Julia: Graph grammars and Petri net transformations (2004)

1 2 next


Further publications can be found at: http://cpntools.org/publications