CPN/Tools: A tool for editing and simulating coloured Petri nets. ETAPS tool demonstration related to TACAS. CPN/Tools is a major redesign of the popular Design/CPN tool for editing, simulation and state space analysis of Coloured Petri Nets. The new interface is based on advanced interaction techniques, including bi-manual interaction, toolglasses and marking menus and a new metaphor for managing the workspace. It challenges traditional ideas about user interfaces, getting rid of pull-down menus, scrollbars, and even selection, while providing the same or greater functionality. CPN/Tools requires an OpenGL graphics accelerator and will run on all major platforms (Windows, Unix/Linux, MacOS).

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

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

1 2 next

  1. Essani, Furqan Hussain; Haider, Sajjad: An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets (2018)
  2. Hlomozda, D. K.; Glybovets, M. M.; Maksymets, O. M.: Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens (2018)
  3. Ahmed, Waqar; Hasan, Osman; Tahar, Sofiène: Formal dependability modeling and analysis: a survey (2016)
  4. Pommereau, Franck: SNAKES: a flexible high-level Petri nets library (tool paper) (2015)
  5. Vizovitin, N. V.; Nepomniaschy, V. A.; Stenenko, A. A.: Verifying UCM specifications of distributed systems using colored Petri nets (2015)
  6. Le, Dinh-Thuan; Nguyen, Huu-Vu; Nguyen, Van-Tinh; Mai, Phuong-Nam; Pham-Duy, Bao-Trung; Quan, Thanh-Tho; André, Étienne; Petrucci, Laure; Liu, Yang: PeCAn: compositional verification of Petri nets made easy (2014)
  7. Heiner, Monika; Herajy, Mostafa; Liu, Fei; Rohr, Christian; Schwarick, Martin: Snoopy -- a unifying Petri net tool (2012) ioport
  8. Jensen, Kurt; Kristensen, Lars M.; Mailund, Thomas: The sweep-line state space exploration method (2012)
  9. Kokash, Natallia; Krause, Christian; De Vink, Erik: Reo + (\mathrmmCRL2): a framework for model-checking dataflow in service compositions (2012)
  10. Yang, Nianhua; Yu, Huiqun; Qian, Zhilin; Sun, Hua: Modeling and quantitatively predicting software security based on stochastic Petri nets (2012)
  11. Kristensen, Lars M.: A perspective on explicit state space exploration of coloured Petri nets: past, present, and future (2010)
  12. Rozinat, A.; Mans, R. S.; Song, M.; van der Aalst, W. M. P.: Discovering simulation models (2009) ioport
  13. Chaouiya, Claudine; Remy, Elisabeth; Thieffry, Denis: Petri net modelling of biological regulatory networks (2008)
  14. 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)
  15. 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
  16. Gradišar, D.; Mušič, G.: Automated Petri-net modelling based on production management data (2007)
  17. Rozinat, A.; Mans, R. S.; Song, M.; van der Aalst, W. M. P.: Discovering colored Petri nets from event logs (2007) ioport
  18. Yamaguchi, Hirozumi; El-Fakih, Khaled; Bochmann, Gregor V.; Higashino, Teruo: Deriving protocol specifications from service specifications written as Predicate/Transition-nets (2007)
  19. Penczek, Wojciech; Półrola, Agata: Advances in verification of time Petri nets and timed automata. A temporal logic approach. (2006)
  20. Evangelista, Sami: High level Petri nets analysis with Helena (2005)

1 2 next