Verifying Estelle specifications: numerical Petri nets approach.

Ajin Jirachiefpattana Richard Lai

Published in: ICNP (1993)

Keyphrases

petri net
concurrent systems
state machines
reactive systems
embedded real time systems
petri net model
manufacturing systems
discrete event systems
colored petri nets
formal specification
model checking
ims ld
fuzzy petri net
sequence diagrams
programmable logic controller
expert systems