Transitions as Interrupts: A New Semantics for Timed Statecharts.

Adriano Peron Andrea Maggiolo-Schettini

Published in: TACS (1994)

Keyphrases

petri net
logical framework
formal semantics
logic programming
state transition
state transitions
database
data sets
multi agent systems
simulation model
deductive databases
reasoning tasks
conceptual modeling
speech acts
sequence diagrams