Specification of software pipelining using petri nets.
M. RajagopalanVicki H. AllanPublished in: Int. J. Parallel Program. (1994)
Keyphrases
- petri net
- colored petri nets
- reactive systems
- embedded real time systems
- state machines
- petri net model
- discrete event systems
- manufacturing systems
- sequence diagrams
- software systems
- fuzzy petri net
- software development
- computer systems
- software architecture
- process model
- formal methods
- concurrent systems
- programmable logic controller
- process algebra
- commercial software
- workflow model
- artificial intelligence
- formal specification
- service composition
- state machine
- ims ld
- discrete dynamical systems
- hardware and software
- web services