Petri nets: a graph model for the representation and analysis of concurrent systems (abstract).

Gurdeep S. Hura

Published in: ACM Conference on Computer Science (1986)

Keyphrases

concurrent systems
petri net
graph model
graph representation
colored petri nets
data analysis
state machines
process algebra
fuzzy petri net
distributed systems
clustering method
temporal logic
discrete event systems