New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets.
Jan MagottPublished in: IEEE Trans. Software Eng. (1987)
Keyphrases
- concurrent systems
- petri net
- np complete problems
- np complete
- graph coloring
- phase transition
- process algebra
- petri net model
- hard problems
- colored petri nets
- discrete event systems
- fuzzy petri net
- sat problem
- service composition
- np hard
- combinatorial problems
- decision problems
- randomly generated
- cellular automata
- stochastic petri net
- formal specification
- satisfiability problem
- constraint satisfaction
- computational complexity