Model interoperability via Model Driven Development

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Petri Net, Application Areas, Engineering +12

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

Wil M. P. van der Aalst · Journal of Circuits Systems and Computers · 1998 · 2.7K citations

Petri Net, Engineering, Petri Net Theory +16

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Kurt Jensen, Lars Michael Kristensen, Lisa Wells · International Journal on Software Tools for Technology Transfer · 2007 · 1.1K citations

Petri Net, Engineering, Coloured Petri Nets +15

UML-B

Colin Snook, Michael Butler · ACM Transactions on Software Engineering and Methodology · 2006 · 289 citations

Engineering, Automated Reasoning, Object-oriented Modeling +14

UML2Alloy: a challenging model transformation

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg et al. · Model Driven Engineering Languages and Systems · 2007 · 219 citations

Engineering, Industrial Engineering, Numerical Simulation +6