Robustness of Time Petri Nets under Architectural Constraints.

S. Akshay Loïc Hélouët Claude Jard Didier Lime Olivier H. Roux

Published in: FORMATS (2012)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
state machines
stochastic petri net
colored petri nets
process model
ims ld
production process
service composition
constraint programming
computational intelligence
concurrent systems
software architecture
rough sets