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

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

1 2 next

  1. Barylska, Kamila; Gogolińska, Anna: Acyclic and cyclic reversing computations in Petri nets (2021)
  2. Essani, Furqan Hussain; Haider, Sajjad: An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets (2018)
  3. Jensen, Kurt; Kristensen, Lars M.; Mailund, Thomas: The sweep-line state space exploration method (2012)
  4. Kokash, Natallia; Krause, Christian; De Vink, Erik: Reo + (\mathrmmCRL2): a framework for model-checking dataflow in service compositions (2012)
  5. Yang, Nianhua; Yu, Huiqun; Qian, Zhilin; Sun, Hua: Modeling and quantitatively predicting software security based on stochastic Petri nets (2012)
  6. Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta: Petri nets for modelling metabolic pathways: a survey (2010)
  7. Kristensen, Lars M.: A perspective on explicit state space exploration of coloured Petri nets: past, present, and future (2010)
  8. Lin, Yi-Neng; Lin, Ying-Dar; Lai, Yuan-Cheng: Thread allocation in CMP-based multithreaded network processors (2010)
  9. Rozinat, A.; Mans, R. S.; Song, M.; van der Aalst, W. M. P.: Discovering simulation models (2009) ioport
  10. Chaouiya, Claudine; Remy, Elisabeth; Thieffry, Denis: Petri net modelling of biological regulatory networks (2008)
  11. Nepomniaschy, V. A.; Argirov, V. S.; Beloglazov, D. M.; Bystrov, A. V.; Chetvertakov, E. A.; Churina, T. G.: Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (2008)
  12. 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) ioport
  13. Gradišar, D.; Mušič, G.: Automated Petri-net modelling based on production management data (2007)
  14. Jensen, Kurt; Kristensen, Lars Michael; Wells, Lisa: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems (2007) ioport
  15. Kristensen, Lars M.; Mechlenborg, Peter; Zhang, Lin; Mitchell, Brice; Gallasch, Guy E.: Model-based development of a course of action scheduling tool (2007) ioport
  16. Rozinat, A.; Mans, R. S.; Song, M.; van der Aalst, W. M. P.: Discovering colored Petri nets from event logs (2007) ioport
  17. Penczek, Wojciech; Półrola, Agata: Advances in verification of time Petri nets and timed automata. A temporal logic approach. (2006)
  18. Al-Azzoni, Issam; Down, Douglas G.: Modeling and verification of cryptographic protocols using coloured Petri nets and Design/CPN (2005)
  19. Ben Mnaouer, Adel; Al-Riyami, Badriya: Effective scheduling of local interactive processes and parallel processes in a non-dedicated cluster environment (2005)
  20. Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till: High-level nets with nets and rules as tokens (2005)

1 2 next


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