Login / Signup
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Philippe Darondeau
Stéphane Demri
Roland Meyer
Christophe Morvan
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
petri net
petri net model
colored petri nets
high level petri nets
ims ld
service composition
manufacturing systems
web service composition
concurrent systems
discrete event systems
process model
fuzzy petri net
first order logic
learning environment
logic programs
computational intelligence
expert systems