On Functions Weakly Computable by Petri Nets and Vector Addition Systems.

Jérôme Leroux Philippe Schnoebelen

Published in: RP (2014)

Keyphrases

petri net
discrete event systems
complex systems
computer systems
manufacturing systems
decision making
ims ld
colored petri nets
embedded real time systems
artificial intelligence
service composition
reactive systems
concurrent systems
petri net model