TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets.
Alexandre DavidLasse JacobsenMorten JacobsenKenneth Yrke JørgensenMikael H. MøllerJirí SrbaPublished in: TACAS (2012)
Keyphrases
- petri net
- integrated development environment
- object oriented programming
- petri net model
- programming concepts
- source code
- colored petri nets
- programming language
- discrete event systems
- stochastic petri net
- service composition
- microsoft access
- award winning
- fuzzy petri net
- database design
- programmable logic controller
- key concepts
- business intelligence
- software engineering
- object oriented
- data analysis
- database