XPAT: An Interactive Graphical Tool for Synthesis of Concurrent Software Using Petri Nets.
Yiannis E. PapelisThomas L. CasavantPublished in: ICPP (2) (1991)
Keyphrases
- petri net
- graphical display
- petri net model
- embedded real time systems
- discrete event systems
- concurrent processes
- sequence diagrams
- manufacturing systems
- fuzzy petri net
- service composition
- reactive systems
- colored petri nets
- software systems
- computer systems
- process model
- state machines
- stochastic petri net
- ims ld
- software architecture
- programmable logic controller
- discrete dynamical systems
- commercial software
- test cases
- learning environment
- low cost