Coloured Petri Nets: Modelling and Validation of Concurrent Systems

By K. Jensen, Lars Michael Kristensen. 2009

1,090 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Management Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/f018e83c69a3d970cabb0d19fb3d16c86fc074f0

How researchers see this paper

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

In Computational Theory and Mathematics

1. Wil M.P. van der Aalst
2. Minseok Song
3. Anne Rozinat
4. Ronny Mans
5. Wil van der Aalst
6. Helen Schonenberg
7. Manfred Reichert
8. Bernd Weber

In Management Information Systems

1. Wil M.P. van der Aalst
2. Minseok Song
3. Anne Rozinat
4. Ronny Mans
5. Wil van der Aalst
6. Manfred Reichert
7. Bernd Weber
8. Diogo R. Ferreira

In Software

1. Minseok Song
2. Wil M.P. van der Aalst
3. Ronny Mans
4. Anne Rozinat

Citations in the corpus

• Discovering simulation models (2009, positive): “We selected Colored Petri Nets (CPNs) [12, 13] as a representation because of their expressiveness and the strong simulation capabilities of CPN Tools [23].”