Petri Net1 :Abstract formal model of information flow Major use: Modeling of systems of events in which it is possible for some events to occur concurrently,
Ensuring Distributed Accountability in the Cloud
ASR-3000 Service Manual
