An Approach for Analyzing Software Specifications in Petri Nets.
Junhua DingDianxiang XuJidong GePublished in: SEKE (2013)
Keyphrases
- petri net
- embedded real time systems
- reactive systems
- state machines
- concurrent systems
- discrete event systems
- manufacturing systems
- colored petri nets
- petri net model
- fuzzy petri net
- software systems
- process model
- commercial software
- embedded systems
- real time systems
- control flow
- computer systems
- sequence diagrams
- neural network
- knowledge base
- stochastic petri net
- discrete dynamical systems
- data flow
- service composition
- software development
- state machine
- software reuse
- ims ld
- formal specification
- model checking
- source code