Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.

Giacomo Bucci Enrico Vicario

Published in: IEEE Trans. Software Eng. (1995)

Keyphrases

petri net
discrete event systems
embedded real time systems
manufacturing systems
service composition
state machines
computer systems
artificial intelligence
web services
learning environment
distributed systems
complex systems
human brain
fuzzy petri net
stochastic petri net