Transactions on Petri Nets and Other Models of Concurrency IX

Published in: Trans. Petri Nets and Other Models of Concurrency (2014)

Keyphrases

petri net
reactive systems
database systems
process model
stochastic petri net
embedded real time systems
petri net model
high dimensional
cellular automata
concurrency control
rule base
manufacturing systems
hardware and software
transaction processing
state machines
colored petri nets