Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions.
Yiannis E. PapelisThomas L. CasavantPublished in: IEEE Trans. Software Eng. (1992)
Keyphrases
- petri net
- colored petri nets
- reactive systems
- discrete event systems
- computer systems
- embedded real time systems
- formal methods
- software components
- petri net model
- state machines
- neural network
- hardware and software
- cellular automata
- complex systems
- fitness function
- genetic programming
- software development
- low cost
- parallel distributed
- evolutionary algorithm