CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

By Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, M. Westergaard, Søren Christensen, K. Jensen. ICATPN, 2003

412 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Management Information Systems, Management Science and Operations Research

View Paper: https://www.semanticscholar.org/paper/853b8ea149788b583b1bf6a0fbebc49c8de658a8

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. S. Hinz
2. C. Stahl
3. K. Wolf
4. Chun Ouyang

Citations in the corpus

• Petri net modelling of biological networks (2007, neutral): “subnets with well-defined interfaces [19]).”
• Transforming BPEL to Petri Nets (2005, background): “With Petri nets, several elegant technologies such as the theory of workow nets [9], a theory of controllability [10, 11], a long list of verication techniques [12] and tools [ 13 , 14, 12] become directly applicable.”