AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets.
Muhammad Waqas AhmadMuhammad Waseem AnwarFarooque AzamYawar RasheedUsman GhaniMukhtar AhmadPublished in: CISIM (2020)
Keyphrases
- seamless integration
- metamodel
- timed automata
- colored petri nets
- web services
- platform independent
- petri net
- model checking
- black box
- theorem prover
- life cycle
- development process
- data model
- modeling language
- software systems
- design patterns
- model driven
- first order logic
- theorem proving
- application developers
- semantic web services
- real time systems
- web applications
- agent technology
- inference rules
- service oriented
- business processes
- information technology
- information systems
- open source
- software development