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 23 articles , 1 standard article )

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

1 2 next

  1. Pommereau, Franck: SNAKES: a flexible high-level Petri nets library (tool paper) (2015)
  2. Vizovitin, N.V.; Nepomniaschy, V.A.; Stenenko, A.A.: Verifying UCM specifications of distributed systems using colored Petri nets (2015)
  3. Heiner, Monika; Herajy, Mostafa; Liu, Fei; Rohr, Christian; Schwarick, Martin: Snoopy -- a unifying Petri net tool (2012) ioport
  4. Jensen, Kurt; Kristensen, Lars M.; Mailund, Thomas: The sweep-line state space exploration method (2012)
  5. Kokash, Natallia; Krause, Christian; De Vink, Erik: Reo + $\mathrmmCRL2$: a framework for model-checking dataflow in service compositions (2012)
  6. Yang, Nianhua; Yu, Huiqun; Qian, Zhilin; Sun, Hua: Modeling and quantitatively predicting software security based on stochastic Petri nets (2012)
  7. Kristensen, Lars M.: A perspective on explicit state space exploration of coloured Petri nets: past, present, and future (2010)
  8. Rozinat, A.; Mans, R.S.; Song, M.; van der Aalst, W.M.P.: Discovering simulation models (2009) ioport
  9. Chaouiya, Claudine; Remy, Elisabeth; Thieffry, Denis: Petri net modelling of biological regulatory networks (2008)
  10. 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)
  11. 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
  12. Gradišar, D.; Mušič, G.: Automated Petri-net modelling based on production management data (2007)
  13. Rozinat, A.; Mans, R.S.; Song, M.; van der Aalst, W.M.P.: Discovering colored Petri nets from event logs (2007) ioport
  14. Yamaguchi, Hirozumi; El-Fakih, Khaled; Bochmann, Gregor V.; Higashino, Teruo: Deriving protocol specifications from service specifications written as Predicate/Transition-nets (2007)
  15. Penczek, Wojciech; Półrola, Agata: Advances in verification of time Petri nets and timed automata. A temporal logic approach. (2006)
  16. Evangelista, Sami: High level Petri nets analysis with Helena (2005)
  17. Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till: High-level nets with nets and rules as tokens (2005)
  18. Christensen, Søren; Jørgensen, Jens Bæk: Teaching coloured Petri nets: Examples of courses and lessons learned (2004)
  19. Penczek, Wojciech; Półrola, Agata: Specification and model checking of temporal properties in time Petri nets and timed automata (2004)
  20. Aalto, Annikka; Husberg, Nisse; Varpaaniemi, Kimmo: Automatic formal model generation and analysis of SDL (2003)

1 2 next